Cormac Flanagan Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2010
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaeheon Yi, Cormac Flanagan: Effects for cooperable and serializable threads. TLDI 2010: 3-14
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth W. Knowles, Cormac Flanagan: Hybrid type checking. ACM Trans. Program. Lang. Syst. 32(2): (2010)
2009
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCaitlin Sadowski, Stephen N. Freund, Cormac Flanagan: SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP 2009: 394-409
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaeheon Yi, Caitlin Sadowski, Cormac Flanagan: SideTrack: generalizing dynamic atomicity analysis. PADTAD 2009
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas H. Austin, Cormac Flanagan: Efficient purely-dynamic information flow analysis. PLAS 2009: 113-124
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: FastTrack: efficient and precise dynamic race detection. PLDI 2009: 121-133
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth W. Knowles, Cormac Flanagan: Compositional reasoning and decidable checking for dependent contract types. PLPV 2009: 27-38
2008
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI 2008: 293-303
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac 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)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71(2): 89-109 (2008)
2007
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth W. Knowles, Cormac Flanagan: Type Reconstruction for General Refinement Types. ESOP 2007: 505-519
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Herman, Cormac Flanagan: Status report: specifying javascript with ML. ML 2007: 47-52
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv: Cartesian Partial-Order Reduction. SPIN 2007: 95-112
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Type inference against races. Sci. Comput. Program. 64(1): 140-165 (2007)
2006
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Dynamic Architecture Extraction. FATES/RV 2006: 209-224
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan: Hybrid type checking. POPL 2006: 245-256
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartí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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdwin 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Patrice Godefroid: Dynamic partial-order reduction for model checking software. POPL 2005: 110-121
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Tomb, Cormac Flanagan: Automatic type inference via partial evaluation. PPDP 2005: 106-116
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31(4): 275-291 (2005)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
2004
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS 2004
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Shaz Qadeer: Exploiting purity for atomicity. ISSTA 2004: 221-231
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Atomizer: a dynamic atomicity checker for multithreaded programs. POPL 2004: 256-267
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Type Inference Against Races. SAS 2004: 116-132
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan: Verifying Commit-Atomicity Using Model-Checking. SPIN 2004: 252-266
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan: Automatic software model checking via constraint logic. Sci. Comput. Program. 50(1-3): 253-270 (2004)
2003
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe: Theorem Proving Using Lazy Proof Explication. CAV 2003: 355-367
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan: Automatic Software Model Checking Using CLP. ESOP 2003: 189-203
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer: A type and effect system for atomicity. PLDI 2003: 338-349
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer: Thread-Modular Model Checking. SPIN 2003: 213-224
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer: Types for atomicity. TLDI 2003: 1-12
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer: Transactions for Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund, Shaz Qadeer: Thread-Modular Verification for Shared-Memory Programs. ESOP 2002: 262-277
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata: Extended Static Checking for Java. PLDI 2002: 234-245
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Shaz Qadeer: Predicate abstraction for software verification. POPL 2002: 191-202
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, K. Rustan M. Leino: Houdini, an Annotation Assistant for ESC/Java. FME 2001: 500-517
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Detecting race conditions in large programs. PASTE 2001: 90-96
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, James B. Saxe: Avoiding exponential explosion: generating compact verification conditions. POPL 2001: 193-205
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Rajeev Joshi, K. Rustan M. Leino: Annotation inference for modular checkers. Inf. Process. Lett. 77(2-4): 97-108 (2001)
2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Stephen N. Freund: Type-based race detection for Java. PLDI 2000: 219-232
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Martín Abadi: Object Types against Races. CONCUR 1999: 288-303
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Martín Abadi: Types for Safe Locking. ESOP 1999: 91-108
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. ACM Trans. Program. Lang. Syst. 21(2): 370-416 (1999)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: The Semantics of Future and an Application. J. Funct. Program. 9(1): 1-31 (1999)
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: Componential Set-Based Analysis. PLDI 1997: 235-248
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
1996
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Rishiyur S. Nikhil: pHluid: The Design of a Parallel Functional Language Implementation on Workstations. ICFP 1996: 169-179
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Matthias Felleisen: The Semantics of Future and Its Use in Program Optimizations. POPL 1995: 209-220
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen: The essence of compiling with continuations (with retrospective) Best of PLDI 1993: 502-514
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCormac 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]
2Thomas H. Austin [53]
3John Clements [17]
4Bruce F. Duba [1] [2]
5Matthew B. Dwyer [40]
6Matthias Felleisen [1] [2] [3] [4] [6] [7] [8] [9] [17]
7Jean-Christophe Filliâtre [58]
8Robert Bruce Findler [6] [17]
9Matthew Flatt [4] [6] [17]
10Stephen N. Freund [12] [15] [20] [30] [31] [32] [33] [35] [36] [37] [41] [43] [44] [48] [49] [50] [52] [55]
11Patrice Godefroid [39]
12Guy Gueta [45]
13John Hatcliff [40]
14David Herman [46]
15Rajeev Joshi [13] [27]
16Kenneth W. Knowles [47] [51] [56]
17Shriram Krishnamurthi [4] [6] [17]
18Gary T. Leavens [40]
19K. Rustan M. Leino [13] [16] [19]
20Marina Lifshin [37] [49]
21Mark Lillibridge [19]
22Greg Nelson [19]
23Rishiyur S. Nikhil [5]
24Xinming Ou [27]
25Shaz Qadeer [18] [20] [21] [22] [23] [24] [25] [32] [35] [36] [49]
26 Robby [40]
27Edwin Rodríguez [40]
28Amr Sabry [1] [2]
29Caitlin Sadowski [54] [55]
30Shmuel Sagiv (Mooly Sagiv) [45]
31James B. Saxe [14] [19] [27]
32Sanjit A. Seshia [21] [35]
33Raymie Stata [19]
34Paul Steckler [17]
35Aaron Tomb [38]
36Stephanie Weirich [4]
37Eran Yahav [45]
38Jaeheon Yi [50] [54] [57]
39Andreas Zeller [34]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)