dblp.uni-trier.dewww.uni-trier.de

Cormac Flanagan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
52EECaitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
2008
51EECormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
50EECormac 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)
49EECormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
2007
48EEKenneth W. Knowles, Cormac Flanagan: Type Reconstruction for General Refinement Types. ESOP 2007: 505-519
47EEDavid Herman, Cormac Flanagan: Status report: specifying javascript with ML. ML 2007: 47-52
46EEGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
45EECormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
2006
44EECormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
43EECormac Flanagan: Hybrid type checking. POPL 2006: 245-256
42EEMartí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
41EEEdwin 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
40EECormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121
39EEAaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116
38EECormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
37EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
36EECormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
2004
35 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
34EECormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
33EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
32EECormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
31EECormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
30EECormac Flanagan: Verifying Commit-Atomicity Using Model-Checking. SPIN 2004: 252-266
29EECormac Flanagan: Automatic software model checking via constraint logic. Sci. Comput. Program. 50(1-3): 253-270 (2004)
2003
28EECormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
27EECormac Flanagan: Automatic Software Model Checking Using CLP. ESOP 2003: 189-203
26EECormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
25EECormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
24EECormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
23EECormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
22EECormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
21EECormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
20EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
19EECormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245
18EECormac 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
16EECormac Flanagan, K. Rustan M. Leino: Houdini, an Annotation Assistant for ESC/Java. FME 2001: 500-517
15EECormac Flanagan, Stephen N. Freund: Detecting race conditions in large programs. PASTE 2001: 90-96
14EECormac Flanagan, James B. Saxe: Avoiding exponential explosion: generating compact verification conditions. POPL 2001: 193-205
13EECormac Flanagan, Rajeev Joshi, K. Rustan M. Leino: Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001)
2000
12EECormac Flanagan, Stephen N. Freund: Type-based race detection for Java. PLDI 2000: 219-232
1999
11EECormac Flanagan, Martín Abadi: Object Types against Races. CONCUR 1999: 288-303
10EECormac Flanagan, Martín Abadi: Types for Safe Locking. ESOP 1999: 91-108
9EECormac 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
2EECormac 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

1Martín Abadi [10] [11] [42]
2John Clements [17]
3Bruce F. Duba [1] [2]
4Matthew B. Dwyer [41]
5Matthias Felleisen [1] [2] [3] [4] [6] [7] [8] [9] [17]
6Robert Bruce Findler [6] [17]
7Matthew Flatt [4] [6] [17]
8Stephen N. Freund [12] [15] [20] [31] [32] [33] [34] [36] [37] [38] [42] [44] [45] [49] [50] [51] [52]
9Patrice Godefroid [40]
10Guy Gueta [46]
11John Hatcliff [41]
12David Herman [47]
13Rajeev Joshi [13] [28]
14Kenneth W. Knowles [48]
15Shriram Krishnamurthi [4] [6] [17]
16Gary T. Leavens [41]
17K. Rustan M. Leino [13] [16] [19]
18Marina Lifshin [38] [50]
19Mark Lillibridge [19]
20Greg Nelson [19]
21Rishiyur S. Nikhil [5]
22Xinming Ou [28]
23Shaz Qadeer [18] [20] [21] [22] [23] [24] [25] [26] [33] [36] [37] [50]
24 Robby [41]
25Edwin Rodríguez [41]
26Amr Sabry [1] [2]
27Caitlin Sadowski [52]
28Shmuel Sagiv (Mooly Sagiv) [46]
29James B. Saxe [14] [19] [28]
30Sanjit A. Seshia [21] [36]
31Raymie Stata [19]
32Paul Steckler [17]
33Aaron Tomb [39]
34Stephanie Weirich [4]
35Eran Yahav [46]
36Jaeheon Yi [51]
37Andreas Zeller [35]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)