Dan Grossman Vis

*	2008
27	EE	Marius Nita, Dan Grossman: Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. CC 2008: 85-99
26	EE	Laura Effinger-Dean, Matthew Kehrt, Dan Grossman: Transactional events for ML. ICFP 2008: 103-114
25	EE	Marius Nita, Dan Grossman, Craig Chambers: A theory of platform-dependent low-level software. POPL 2008: 209-220
24	EE	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	EE	Miryung Kim, David Notkin, Dan Grossman: Automatic Inference of Structural Changes for Matching across Program Versions. ICSE 2007: 333-343
21	EE	Dan Grossman: The transactional memory / garbage collection analogy. OOPSLA 2007: 695-706
20	EE	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers: Searching for type-error messages. PLDI 2007: 425-434
19	EE	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	EE	Benjamin S. Lerner, Dan Grossman, Craig Chambers: Seminal: searching for ML type-error messages. ML 2006: 63-73
17	EE	Dan Grossman, Jeremy Manson, William Pugh: What do high-level memory models mean for transactions? Memory System Performance and Correctness 2006: 62-69
16	EE	Benjamin Hindman, Dan Grossman: Atomicity via source-to-source translation. Memory System Performance and Correctness 2006: 82-91
15	EE	Dan Grossman: Quantified types in an imperative language. ACM Trans. Program. Lang. Syst. 28(3): 429-475 (2006)
14	EE	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	EE	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	EE	Michael F. Ringenburg, Dan Grossman: AtomCaml: first-class atomicity via rollback. ICFP 2005: 92-104
11	EE	Michael F. Ringenburg, Dan Grossman: Types for describing coordinated data structures. TLDI 2005: 25-36
	2004
10	EE	Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Experience with safe manual memory-management in cyclone. ISMM 2004: 73-84
	2003
9	EE	Dan Grossman: Type-safe multithreading in cyclone. TLDI 2003: 13-25
8	EE	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	EE	Dan Grossman: Existential Types for Imperative Languages. ESOP 2002: 21-35
6	EE	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	EE	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	EE	Dan Grossman, J. Gregory Morrisett: Scalable Certification for Typed Assembly Language. Types in Compilation 2000: 117-146
3	EE	Dan Grossman, J. Gregory Morrisett, Steve Zdancewic: Syntactic type abstraction. ACM Trans. Program. Lang. Syst. 22(6): 1037-1080 (2000)
	1999
2	EE	Steve Zdancewic, Dan Grossman, J. Gregory Morrisett: Principals in Programming Languages: A Syntactic Proof Technique. ICFP 1999: 197-207
1	EE	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	Steven Balensiefer	[19]
3	Craig Chambers	[18] [20] [25]
4	James Cheney	[5] [6]
5	Manuvir Das	[23]
6	Laura Effinger-Dean	[26]
7	Matthew Flower	[20]
8	Michael W. Godfrey	[1]
9	Michael W. Hicks (Michael Hicks)	[5] [6] [10] [14]
10	Benjamin Hindman	[16]
11	Luke Hornof	[8]
12	Richard L. Hudson	[19]
13	Trevor Jim	[5] [6] [8] [10] [14]
14	Matthew Kehrt	[26]
15	Miryung Kim	[22]
16	Benjamin S. Lerner	[18] [20]
17	Jeremy Manson	[17]
18	Vijay Menon	[19]
19	Katherine F. Moore	[19] [24]
20	J. Gregory Morrisett (Greg Morrisett)	[2] [3] [4] [5] [6] [8] [10] [14]
21	Marius Nita	[25] [27]
22	David Notkin	[22]
23	William Pugh	[17]
24	Michael F. Ringenburg	[11] [12] [13]
25	Bratin Saha	[19]
26	Tatiana Shpeisman	[19]
27	Frederick Smith	[8]
28	Nikhil Swamy	[14]
29	Yanling Wang	[5] [6]
30	Steve Zdancewic	[2] [3]

Colors in the list of coauthors