 | 2010 |
|---|
| 58 |       | 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 |
| 57 |  | Jaeheon Yi,
Cormac Flanagan:
Effects for cooperable and serializable threads.
TLDI 2010: 3-14 |
| 56 | | Kenneth W. Knowles,
Cormac Flanagan:
Hybrid type checking.
ACM Trans. Program. Lang. Syst. 32(2): (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 W. 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 W. 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): (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 |
