Dan Grossman

	2012
40		Dan Grossman, Ruth E. Anderson: Introducing parallelism and concurrency in the data structures course. SIGCSE 2012: 505-510
39		Colin S. Gordon, Michael D. Ernst, Dan Grossman: Static lock capabilities for deadlock freedom. TLDI 2012: 67-78
	2011
38		Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman: RCDC: a relaxed consistency deterministic computer. ASPLOS 2011: 67-78
37		Benjamin P. Wood, Luis Ceze, Dan Grossman: Data-race exceptions have benefits beyond the memory model. MSPC 2011: 30-36
36		Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman: EnerJ: approximate data types for safe and general low-power computation. PLDI 2011: 164-174
	2010
35		Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman: CoreDet: a compiler and runtime system for deterministic multithreaded execution. ASPLOS 2010: 53-64
34		Kristi Morton, Abram Friesen, Magdalena Balazinska, Dan Grossman: Estimating the progress of MapReduce pipelines. ICDE 2010: 681-684
33		Jae-Woong Chung, Luke Yen, Stephan Diestelhorst, Martin Pohlack, Michael Hohmuth, David Christie, Dan Grossman: ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory. MICRO 2010: 39-50
32		Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman: Composable specifications for structured shared-memory communication. OOPSLA 2010: 140-159
31		Benjamin S. Lerner, Herman Venter, Dan Grossman: Supporting dynamic, third-party code customizations in JavaScript using aspects. OOPSLA 2010: 361-376
30		Kristi Morton, Magdalena Balazinska, Dan Grossman: ParaTimer: a progress indicator for MapReduce DAGs. SIGMOD Conference 2010: 507-518
	2009
29		Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman: Programming Idioms for Transactional Events PLACES 2009: 43-48
28		Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic: An overview of the Oregon programming languages summer school. SIGPLAN Notices 44(11): 1-3 (2009)
	2008
27		Marius Nita, Dan Grossman: Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. CC 2008: 85-99
26		Laura Effinger-Dean, Matthew Kehrt, Dan Grossman: Transactional events for ML. ICFP 2008: 103-114
25		Marius Nita, Dan Grossman, Craig Chambers: A theory of platform-dependent low-level software. POPL 2008: 209-220
24		Katherine F. Moore, Dan Grossman: High-level small-step operational semantics for transactions. POPL 2008: 51-62
	2007
23		Manuvir Das, Dan Grossman: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007 ACM 2007
22		Miryung Kim, David Notkin, Dan Grossman: Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343
21		Dan Grossman: The transactional memory / garbage collection analogy. OOPSLA 2007: 695-706
20		Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers: Searching for type-error messages. PLDI 2007: 425-434
19		Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha: Enforcing isolation and ordering in STM. PLDI 2007: 78-88
	2006
18		Benjamin S. Lerner, Dan Grossman, Craig Chambers: Seminal: searching for ML type-error messages. ML 2006: 63-73
17		Dan Grossman, Jeremy Manson, William Pugh: What do high-level memory models mean for transactions? Memory System Performance and Correctness 2006: 62-69
16		Benjamin Hindman, Dan Grossman: Atomicity via source-to-source translation. Memory System Performance and Correctness 2006: 82-91
15		Dan Grossman: Quantified types in an imperative language. ACM Trans. Program. Lang. Syst. 28(3): 429-475 (2006)
14		Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
	2005
13		Michael F. Ringenburg, Dan Grossman: Preventing format-string attacks via automatic and efficient dynamic checking. ACM Conference on Computer and Communications Security 2005: 354-363
12		Michael F. Ringenburg, Dan Grossman: AtomCaml: first-class atomicity via rollback. ICFP 2005: 92-104
11		Michael F. Ringenburg, Dan Grossman: Types for describing coordinated data structures. TLDI 2005: 25-36
	2004
10		Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
	2003
9		Dan Grossman: Type-safe multithreading in cyclone. TLDI 2003: 13-25
8		Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim: Compiling for template-based run-time code generation. J. Funct. Program. 13(3): 677-708 (2003)
	2002
7		Dan Grossman: Existential Types for Imperative Languages. ESOP 2002: 21-35
6		Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney: Region-Based Memory Management in Cyclone. PLDI 2002: 282-293
5		Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang: Cyclone: A Safe Dialect of C. USENIX Annual Technical Conference, General Track 2002: 275-288
	2000
4		Dan Grossman, J. Gregory Morrisett: Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
3		Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
	1999
2		Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207
1		Michael W. Godfrey, Dan Grossman: JDuck: building a software engineering tool in Java as a CS2 project. SIGCSE 1999: 48-52

Coauthor Index

1	Ali-Reza Adl-Tabatabai	[19]
2	Jim Allen	[28]
3	Owen Anderson	[35]
4	Ruth E. Anderson	[40]
5	Zena M. Ariola	[28]
6	Magdalena Balazinska	[30] [34]
7	Steven Balensiefer	[19]
8	Tom Bergan	[35] [38]
9	Luis Ceze	[32] [35] [36] [37] [38]
10	Craig Chambers	[18] [20] [25]
11	James Cheney	[5] [6]
12	David Christie	[33]
13	Jae-Woong Chung	[33]
14	Pierre-Louis Curien	[28]
15	Manuvir Das	[23]
16	Joseph Devietti	[35] [38]
17	Stephan Diestelhorst	[33]
18	Werner Dietl (Werner Michael Dietl)	[36]
19	Laura Effinger-Dean	[26] [29]
20	Michael D. Ernst	[39]
21	Matthew Flower	[20]
22	Matthew Fluet	[28]
23	Emily Fortuna	[36]
24	Jeff Foster	[28]
25	Abram Friesen	[34]
26	Danushen Gnanapragasam	[36]
27	Michael W. Godfrey	[1]
28	Colin S. Gordon	[39]
29	Robert Harper	[28]
30	Hugo Herbelin	[28]
31	Michael W. Hicks (Michael Hicks)	[5] [6] [10] [14]
32	Benjamin Hindman	[16]
33	Michael Hohmuth	[33]
34	Luke Hornof	[8]
35	Richard L. Hudson	[19]
36	Trevor Jim	[5] [6] [8] [10] [14]
37	Matthew Kehrt	[26] [29]
38	Miryung Kim	[22]
39	Benjamin S. Lerner	[18] [20] [31]
40	Jeremy Manson	[17]
41	Vijay Menon	[19]
42	Katherine F. Moore	[19] [24]
43	J. Gregory Morrisett (Greg Morrisett)	[2] [3] [4] [5] [6] [8] [10] [14]
44	Kristi Morton	[30] [34]
45	Jacob Nelson	[38]
46	Marius Nita	[25] [27]
47	David Notkin	[22]
48	Martin Pohlack	[33]
49	William Pugh	[17]
50	Michael F. Ringenburg	[11] [12] [13]
51	Bratin Saha	[19]
52	Adrian Sampson	[32] [36]
53	Michael Schmitz	[29]
54	Tatiana Shpeisman	[19]
55	Yannis Smaragdakis	[28]
56	Frederick Smith	[8]
57	Nikhil Swamy	[14]
58	Herman Venter	[31]
59	David Walker	[28]
60	Yanling Wang	[5] [6]
61	Benjamin P. Wood	[32] [37]
62	Luke Yen	[33]
63	Steve Zdancewic	[2] [3] [28]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page