Stephen N. Freund

	2011
34		Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: Cooperative Concurrency for a Multicore World - (Extended Abstract). RV 2011: 342-344
	2010
33		Cormac Flanagan, Stephen N. Freund: The RoadRunner dynamic analysis framework for concurrent programs. PASTE 2010: 1-8
32		Cormac Flanagan, Stephen N. Freund: Adversarial memory for detecting destructive races. PLDI 2010: 244-254
31		Cormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. Commun. ACM 53(11): 93-101 (2010)
	2009
30		Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
29		Cormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. PLDI 2009: 121-133
	2008
28		Cormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
27		Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer: Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): (2008)
26		Kim B. Bruce, Stephen N. Freund: Programming languages in a liberal arts education. SIGPLAN Notices 43(11): 45-49 (2008)
25		Kim B. Bruce, Stephen N. Freund: Programming languages as part of core computer science. SIGPLAN Notices 43(11): 50-54 (2008)
24		Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)
23		Cormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
	2007
22		Cormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
	2006
21		Cormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
20		Martín Abadi, Cormac Flanagan, Stephen N. Freund: Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28(2): 207-255 (2006)
	2005
19		Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
18		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
17		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
	2004
16		Cormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
15		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
14		Cormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
13		Cormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
12		Stephen N. Freund, Shaz Qadeer: Checking Concise Specifications for Multithreaded Software. Journal of Object Technology 3(6): 81-101 (2004)
	2003
11		Michael Burrows, Stephen N. Freund, Janet L. Wiener: Run-Time Type Checking for Binary Programs. CC 2003: 90-105
10		Stephen N. Freund, John C. Mitchell: A Type System for the Java Bytecode Language and Verifier. J. Autom. Reasoning 30(3-4): 271-321 (2003)
	2002
9		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
	2001
8		Cormac Flanagan, Stephen N. Freund: Detecting race conditions in large programs. PASTE 2001: 90-96
	2000
7		Cormac Flanagan, Stephen N. Freund: Type-based race detection for Java. PLDI 2000: 219-232
	1999
6		Stephen N. Freund, John C. Mitchell: A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA 1999: 147-166
5		Stephen N. Freund, John C. Mitchell: The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. 21(6): 1196-1250 (1999)
	1998
4		Stephen N. Freund, John C. Mitchell: A Type System for Object Initialization in the Java Bytecode Language. OOPSLA 1998: 310-327
	1997
3		Ole Agesen, Stephen N. Freund, John C. Mitchell: Adding Type Parameterization to the Java Language. OOPSLA 1997: 49-65
2		Stephen N. Freund, John C. Mitchell: A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci. 10: 242-245 (1997)
	1996
1		Stephen N. Freund, Eric S. Roberts: Thetis: an ANSI C programming environment designed for introductory use. SIGCSE 1996: 300-304

Coauthor Index

1	Martín Abadi	[20]
2	Ole Agesen	[3]
3	Eric Allen	[24]
4	Mark W. Bailey	[24]
5	Rastislav Bodík	[24]
6	Kim B. Bruce	[24] [25] [26]
7	Michael Burrows	[11]
8	Kathleen Fisher	[24]
9	Cormac Flanagan	[7] [8] [9] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [27] [28] [29] [30] [31] [32] [33] [34]
10	Robert Harper	[24]
11	Chandra Krintz	[24]
12	Shriram Krishnamurthi	[24]
13	James R. Larus	[24]
14	Doug Lea	[24]
15	Gary T. Leavens	[24]
16	Marina Lifshin	[19] [27]
17	John C. Mitchell	[2] [3] [4] [5] [6] [10]
18	Lori L. Pollock	[24]
19	Shaz Qadeer	[9] [12] [15] [17] [18] [27]
20	Stuart Reges	[24]
21	Martin C. Rinard	[24]
22	Eric S. Roberts	[1]
23	Caitlin Sadowski	[30] [34]
24	Sanjit A. Seshia	[17]
25	Mark A. Sheldon	[24]
26	Franklyn A. Turbak	[24]
27	Mitchell Wand	[24]
28	Janet L. Wiener	[11]
29	Jaeheon Yi	[28] [34]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page