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

Cormac Flanagan Vis

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

*2009
52EECaitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
51EECormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. PLDI 2009: 121-133
2008
50EECormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
49EECormac 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)
48EECormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
2007
47EEKenneth W. Knowles, Cormac Flanagan: Type Reconstruction for General Refinement Types. ESOP 2007: 505-519
46EEDavid Herman, Cormac Flanagan: Status report: specifying javascript with ML. ML 2007: 47-52
45EEGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
44EECormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
2006
43EECormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
42EECormac Flanagan: Hybrid type checking. POPL 2006: 245-256
41EEMartí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
40EEEdwin 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
39EECormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121
38EEAaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116
37EECormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
36EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
35EECormac 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
33EECormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
32EECormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
31EECormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
30EECormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
29EECormac Flanagan: Verifying Commit-Atomicity Using Model-Checking. SPIN 2004: 252-266
28EECormac Flanagan: Automatic software model checking via constraint logic. Sci. Comput. Program. 50(1-3): 253-270 (2004)
2003
27EECormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
26EECormac Flanagan: Automatic Software Model Checking Using CLP. ESOP 2003: 189-203
25EECormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
24EECormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
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
6EERobert 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] [41]
2John Clements [17]
3Bruce F. Duba [1] [2]
4Matthew B. Dwyer [40]
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] [30] [31] [32] [33] [35] [36] [37] [41] [43] [44] [48] [49] [50] [51] [52]
9Patrice Godefroid [39]
10Guy Gueta [45]
11John Hatcliff [40]
12David Herman [46]
13Rajeev Joshi [13] [27]
14Kenneth W. Knowles [47]
15Shriram Krishnamurthi [4] [6] [17]
16Gary T. Leavens [40]
17K. Rustan M. Leino [13] [16] [19]
18Marina Lifshin [37] [49]
19Mark Lillibridge [19]
20Greg Nelson [19]
21Rishiyur S. Nikhil [5]
22Xinming Ou [27]
23Shaz Qadeer [18] [20] [21] [22] [23] [24] [25] [32] [35] [36] [49]
24 Robby [40]
25Edwin Rodríguez [40]
26Amr Sabry [1] [2]
27Caitlin Sadowski [52]
28Shmuel Sagiv (Mooly Sagiv) [45]
29James B. Saxe [14] [19] [27]
30Sanjit A. Seshia [21] [35]
31Raymie Stata [19]
32Paul Steckler [17]
33Aaron Tomb [38]
34Stephanie Weirich [4]
35Eran Yahav [45]
36Jaeheon Yi [50]
37Andreas Zeller [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)