Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Cormac Flanagan" ( http://dblp.L3S.de/Authors/Cormac_Flanagan )

URL (Homepage):  http://www.cs.ucsc.edu/~cormac/  Author page on DBLP  Author page in RDF  Community of Cormac Flanagan in ASPL-2

Publication years (Num. hits)
1993-2001 (16) 2002-2004 (18) 2005-2008 (16) 2009-2011 (18) 2012 (3)
Publication types (Num. hits)
article(15) incollection(1) inproceedings(52) proceedings(3)
Venues (Conferences, Journals, ...)
PLDI(9) POPL(9) ESOP(5) ACM Trans. Program. Lang. Syst...(4) PASTE(3) Sci. Comput. Program.(3) SPIN(3) TLDI(3) CAV(2) ICFP(2) J. Funct. Program.(2) PLPV(2) Best of PLDI(1) Commun. ACM(1) CONCUR(1) ECOOP(1) More (+10 of total 36)
Authors
Cormac Flanagan(71) Stephen N. Freund(22) Shaz Qadeer(11) Matthias Felleisen(10) Jaeheon Yi(6) Caitlin Sadowski(5) James B. Saxe(3) K. Rustan M. Leino(3) Kenneth L. Knowles(3) Martín Abadi(3) Matthew Flatt(3) Robert Bruce Findler(3) Shriram Krishnamurthi(3) Thomas H. Austin(3) Aaron Tomb(2) Amr Sabry(2) More (+10 of total 46)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 71 occurrences of 34 keywords
Results
Found 71 publication records. Showing 71 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Cormac Flanagan, Barbara König (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas H. Austin, Cormac Flanagan Multiple facets for dynamic information flow. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan Sound predictive race detection in polynomial time. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan Futures. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan Cooperative Concurrency for a Multicore World - (Extended Abstract). Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen Correct blame for contracts: no more scapegoating. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tim Disney, Cormac Flanagan, Jay McCarthy Temporal higher-order contracts. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas H. Austin, Tim Disney, Cormac Flanagan Virtual values for language extension. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan Cooperative reasoning for preemptive execution. Search on Bibsonomy PPOPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kenneth L. Knowles, Cormac Flanagan Hybrid type checking. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund FastTrack: efficient and precise dynamic race detection. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Herman, Aaron Tomb, Cormac Flanagan Space-efficient gradual typing. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Adversarial memory for detecting destructive races. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions, relaxed memory models
1Jean-Christophe Filliâtre, Cormac Flanagan (eds.) Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010 Search on Bibsonomy PLPV The full citation details ... 2010 DBLP  BibTeX  RDF
1Jaeheon Yi, Cormac Flanagan Effects for cooperable and serializable threads. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF atomicity, yield, race conditions, effect system
1Cormac Flanagan, Stephen N. Freund The RoadRunner dynamic analysis framework for concurrent programs. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis
1Cormac Flanagan, Stephen N. Freund FastTrack: efficient and precise dynamic race detection. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions
1Thomas H. Austin, Cormac Flanagan Efficient purely-dynamic information flow analysis. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic analysis, information flow control
1Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan SideTrack: generalizing dynamic atomicity analysis. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
1Kenneth L. Knowles, Cormac Flanagan Compositional reasoning and decidable checking for dependent contract types. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF refinement types, abstraction, dependent types, compositional reasoning
1Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Atomizer: A dynamic atomicity checker for multithreaded programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer Types for atomicity: Static checking and inference for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, concurrent programs, type inference, Atomicity
1Cormac Flanagan, Stephen N. Freund, Jaeheon Yi Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
1Cormac Flanagan, Stephen N. Freund Type inference against races. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Herman, Cormac Flanagan Status report: specifying javascript with ML. Search on Bibsonomy ML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF definitional interpreters, JavaScript, standard ML
1Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv Cartesian Partial-Order Reduction. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kenneth L. Knowles, Cormac Flanagan Type Reconstruction for General Refinement Types. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Cormac Flanagan, Stephen N. Freund Types for safe locking: Static race detection for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type system, Concurrent programs, type inference, race conditions
1Cormac Flanagan Hybrid type checking. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dynamic checking, type systems, contracts, static checking
1Cormac Flanagan, Stephen N. Freund Dynamic Architecture Extraction. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting Purity for Atomicity. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, Atomicity
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia Modular verification of multithreaded programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Patrice Godefroid Dynamic partial-order reduction for model checking software. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF software model checking, partial-order reduction
1Cormac Flanagan, Stephen N. Freund, Marina Lifshin Type inference for atomicity. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrency, reduction, type inference, atomicity
1Aaron Tomb, Cormac Flanagan Automatic type inference via partial evaluation. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF applications of declarative programming, logic programming, program analysis, type systems
1Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby Extending JML for Modular Specification and Verification of Multi-threaded Programs. Search on Bibsonomy ECOOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan Automatic software model checking via constraint logic. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting purity for atomicity. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, atomicity
1Cormac Flanagan, Stephen N. Freund Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Atomizer: a dynamic atomicity checker for multithreaded programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic analysis, reduction, atomicity
1Cormac Flanagan Verifying Commit-Atomicity Using Model-Checking. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Andreas Zeller (eds.) 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 Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Type Inference Against Races. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Shaz Qadeer Transactions for Software Model Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Shaz Qadeer A type and effect system for atomicity. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multithreading, atomicity, race conditions, static checking
1Cormac Flanagan, Shaz Qadeer Thread-Modular Model Checking. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Shaz Qadeer Types for atomicity. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe Theorem Proving Using Lazy Proof Explication. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan Automatic Software Model Checking Using CLP. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen DrScheme: a programming environment for Scheme. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata Extended Static Checking for Java. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF compile-time program checking
1Cormac Flanagan, Shaz Qadeer Predicate abstraction for software verification. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia A Modular Checker for Multithreaded Programs. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Thread-Modular Verification for Shared-Memory Programs. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino Annotation inference for modular checkers. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, James B. Saxe Avoiding exponential explosion: generating compact verification conditions. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, K. Rustan M. Leino Houdini, an Annotation Assistant for ESC/Java. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Detecting race conditions in large programs. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java
1Cormac Flanagan, Stephen N. Freund Type-based race detection for Java. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Matthias Felleisen Componential Set-Based Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF soft typing, program analysis, scheme, static debugging, constraint-based analysis
1Cormac Flanagan, Matthias Felleisen The Semantics of Future and an Application. Search on Bibsonomy J. Funct. Program. The full citation details ... 1999 DBLP  BibTeX  RDF
1Cormac Flanagan, Martín Abadi Object Types against Races. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Martín Abadi Types for Safe Locking. Search on Bibsonomy ESOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Matthias Felleisen Componential Set-Based Analysis. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
1Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen Static Debugging: Browsing the Web of Program Invariants. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Rishiyur S. Nikhil pHluid: The Design of a Parallel Functional Language Implementation on Workstations. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF garbage collection and run-time systems, parallel and distributed implementations, data flow
1Cormac Flanagan, Matthias Felleisen The Semantics of Future and Its Use in Program Optimizations. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MULTILISP
1Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The Essence of Compiling with Continuations. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen The essence of compiling with continuations (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.