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