Stephen N. Freund

2009
29	EE	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
2008
28	EE	Cormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
27	EE	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	EE	Kim B. Bruce, Stephen N. Freund: Programming languages in a liberal arts education. SIGPLAN Notices 43(11): 45-49 (2008)
25	EE	Kim B. Bruce, Stephen N. Freund: Programming languages as part of core computer science. SIGPLAN Notices 43(11): 50-54 (2008)
24	EE	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 Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)
23	EE	Cormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
2007
22	EE	Cormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
2006
21	EE	Cormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
20	EE	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	EE	Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
18	EE	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
17	EE	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	EE	Cormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
15	EE	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
14	EE	Cormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
13	EE	Cormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
12	EE	Stephen N. Freund, Shaz Qadeer: Checking Concise Specifications for Multithreaded Software. Journal of Object Technology 3(6): 81-101 (2004)
2003
11	EE	Michael Burrows, Stephen N. Freund, Janet L. Wiener: Run-Time Type Checking for Binary Programs. CC 2003: 90-105
10	EE	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	EE	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
2001
8	EE	Cormac Flanagan, Stephen N. Freund: Detecting race conditions in large programs. PASTE 2001: 90-96
2000
7	EE	Cormac Flanagan, Stephen N. Freund: Type-based race detection for Java. PLDI 2000: 219-232
1999
6	EE	Stephen N. Freund, John C. Mitchell: A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA 1999: 147-166
5	EE	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	EE	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	EE	Stephen N. Freund, John C. Mitchell: A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci. 10: (1997)
1996
1	EE	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]
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	[29]
24	Sanjit A. Seshia	[17]
25	Mark Sheldon	[24]
26	Franklyn A. Turbak	[24]
27	Mitchell Wand	[24]
28	Janet L. Wiener	[11]
29	Jaeheon Yi	[28]