Cormac Flanagan

	2012
71		Cormac Flanagan, Barbara König: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Springer 2012
70		Thomas H. Austin, Cormac Flanagan: Multiple facets for dynamic information flow. POPL 2012: 165-178
69		Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan: Sound predictive race detection in polynomial time. POPL 2012: 387-400
	2011
68		Tim Disney, Cormac Flanagan, Jay McCarthy: Temporal higher-order contracts. ICFP 2011: 176-188
67		Thomas H. Austin, Tim Disney, Cormac Flanagan: Virtual values for language extension. OOPSLA 2011: 921-938
66		Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen: Correct blame for contracts: no more scapegoating. POPL 2011: 215-226
65		Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan: Cooperative reasoning for preemptive execution. PPOPP 2011: 147-156
64		Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: Cooperative Concurrency for a Multicore World - (Extended Abstract). RV 2011: 342-344
63		Cormac Flanagan: Futures. Encyclopedia of Parallel Computing 2011: 749-753
	2010
62		Jean-Christophe Filliâtre, Cormac Flanagan: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 ACM 2010
61		Cormac Flanagan, Stephen N. Freund: The RoadRunner dynamic analysis framework for concurrent programs. PASTE 2010: 1-8
60		Cormac Flanagan, Stephen N. Freund: Adversarial memory for detecting destructive races. PLDI 2010: 244-254
59		Jaeheon Yi, Cormac Flanagan: Effects for cooperable and serializable threads. TLDI 2010: 3-14
58		Kenneth L. Knowles, Cormac Flanagan: Hybrid type checking. ACM Trans. Program. Lang. Syst. 32(2): (2010)
57		Cormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. Commun. ACM 53(11): 93-101 (2010)
56		David Herman, Aaron Tomb, Cormac Flanagan: Space-efficient gradual typing. Higher-Order and Symbolic Computation 23(2): 167-189 (2010)
	2009
55		Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
54		Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan: SideTrack: generalizing dynamic atomicity analysis. PADTAD 2009
53		Thomas H. Austin, Cormac Flanagan: Efficient purely-dynamic information flow analysis. PLAS 2009: 113-124
52		Cormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. PLDI 2009: 121-133
51		Kenneth L. Knowles, Cormac Flanagan: Compositional reasoning and decidable checking for dependent contract types. PLPV 2009: 27-38
	2008
50		Cormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
49		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)
48		Cormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
	2007
47		Kenneth L. Knowles, Cormac Flanagan: Type Reconstruction for General Refinement Types. ESOP 2007: 505-519
46		David Herman, Cormac Flanagan: Status report: specifying javascript with ML. ML 2007: 47-52
45		Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
44		Cormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
	2006
43		Cormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
42		Cormac Flanagan: Hybrid type checking. POPL 2006: 245-256
41		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
40		Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576
39		Cormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121
38		Aaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116
37		Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
36		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
35		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
34		Cormac Flanagan, Andreas Zeller: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004 ACM 2004
33		Cormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
32		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
31		Cormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
30		Cormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
29		Cormac Flanagan: Verifying Commit-Atomicity Using Model-Checking. SPIN 2004: 252-266
28		Cormac Flanagan: Automatic software model checking via constraint logic. Sci. Comput. Program. 50(1-3): 253-270 (2004)
	2003
27		Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
26		Cormac Flanagan: Automatic Software Model Checking Using CLP. ESOP 2003: 189-203
25		Cormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
24		Cormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
23		Cormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
22		Cormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): 518-539 (2003)
	2002
21		Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
20		Cormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
19		Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245
18		Cormac Flanagan, Shaz Qadeer: Predicate abstraction for software verification. POPL 2002: 191-202
17		Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002)
	2001
16		Cormac Flanagan, K. Rustan M. Leino: Houdini, an Annotation Assistant for ESC/Java. FME 2001: 500-517
15		Cormac Flanagan, Stephen N. Freund: Detecting race conditions in large programs. PASTE 2001: 90-96
14		Cormac Flanagan, James B. Saxe: Avoiding exponential explosion: generating compact verification conditions. POPL 2001: 193-205
13		Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino: Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001)
	2000
12		Cormac Flanagan, Stephen N. Freund: Type-based race detection for Java. PLDI 2000: 219-232
	1999
11		Cormac Flanagan, Martín Abadi: Object Types against Races. CONCUR 1999: 288-303
10		Cormac Flanagan, Martín Abadi: Types for Safe Locking. ESOP 1999: 91-108
9		Cormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999)
8		Cormac Flanagan, Matthias Felleisen: The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999)
	1997
7		Cormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. PLDI 1997: 235-248
6		Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
	1996
5		Cormac Flanagan, Rishiyur S. Nikhil: pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP 1996: 169-179
4		Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
	1995
3		Cormac Flanagan, Matthias Felleisen: The Semantics of Future and Its Use in Program Optimizations. POPL 1995: 209-220
	1993
2		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The essence of compiling with continuations (with retrospective) Best of PLDI 1993: 502-514
1		Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The Essence of Compiling with Continuations. PLDI 1993: 237-247

Coauthor Index

1	Martín Abadi	[10] [11] [41]
2	Thomas H. Austin	[53] [67] [70]
3	John Clements	[17]
4	Christos Dimoulas	[66]
5	Tim Disney	[67] [68]
6	Bruce F. Duba	[1] [2]
7	Matthew B. Dwyer	[40]
8	Jacob Evans	[69]
9	Matthias Felleisen	[1] [2] [3] [4] [6] [7] [8] [9] [17] [66]
10	Jean-Christophe Filliâtre	[62]
11	Robert Bruce Findler	[6] [17] [66]
12	Matthew Flatt	[4] [6] [17]
13	Stephen N. Freund	[12] [15] [20] [30] [31] [32] [33] [35] [36] [37] [41] [43] [44] [48] [49] [50] [52] [55] [57] [60] [61] [64]
14	Patrice Godefroid	[39]
15	Guy Golan-Gueta (Guy Gueta)	[45]
16	John Hatcliff	[40]
17	David Herman	[46] [56]
18	Rajeev Joshi	[13] [27]
19	Kenneth L. Knowles	[47] [51] [58]
20	Barbara König	[71]
21	Shriram Krishnamurthi	[4] [6] [17]
22	Gary T. Leavens	[40]
23	K. Rustan M. Leino	[13] [16] [19]
24	Marina Lifshin	[37] [49]
25	Mark Lillibridge	[19]
26	Jay McCarthy	[68]
27	Greg Nelson	[19]
28	Rishiyur S. Nikhil	[5]
29	Xinming Ou	[27]
30	Shaz Qadeer	[18] [20] [21] [22] [23] [24] [25] [32] [35] [36] [49]
31	Robby	[40]
32	Edwin Rodríguez	[40]
33	Amr Sabry	[1] [2]
34	Caitlin Sadowski	[54] [55] [64] [65] [69]
35	Shmuel Sagiv (Mooly Sagiv)	[45]
36	James B. Saxe	[14] [19] [27]
37	Sanjit A. Seshia	[21] [35]
38	Yannis Smaragdakis	[69]
39	Raymie Stata	[19]
40	Paul Steckler	[17]
41	Aaron Tomb	[38] [56]
42	Stephanie Weirich	[4]
43	Eran Yahav	[45]
44	Jaeheon Yi	[50] [54] [59] [64] [65] [69]
45	Andreas Zeller	[34]

Colors in the list of coauthors

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