scHolar index |
| 116 references between 1993 and 2008 84 references cited (3056 citations) 26.34 citations per reference (median=3.00) 36.38 citations per cited reference (median=7.00) |
h-index: 26 (a=4.52, m=1.73) g-index: 54 |
| 589 | Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB … - ACM SIGPLAN Notices, 2002 - portal.acm.org |
|
| 259 | The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen - ACM SIGPLAN Notices, 1993 - portal.acm.org |
|
| 197 | Type-based race detection for Java C Flanagan, SN Freund - ACM SIGPLAN Notices, 2000 - portal.acm.org |
|
| 139 | A type and effect system for atomicity C Flanagan, S Qadeer - ACM SIGPLAN Notices, 2003 - portal.acm.org |
|
| 132 | Componential Set-Based Analysis C FLANAGAN, M FELLEISEN - ACM Transactions on Programming Languages and Systems, 1999 - portal.acm.org |
|
| 126 | Houdini, an annotation assistant for ESC/Java C Flanagan, KRM Leino - FME, 2001 - Springer |
|
| 108 | Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund - ACM SIGPLAN Notices, 2004 - portal.acm.org |
|
| 103 | DrScheme: a programming environment for Scheme RB FINDLER, J CLEMENTS, C FLANAGAN, M FLATT, S … - Journal of Functional Programming, 2002 - Cambridge Univ Press |
|
| 103 | Types for safe locking C Flanagan, M Abadi - Proceedings of European Symposium on Programming, 1999 - Springer |
|
| 96 | Predicate abstraction for software verification C Flanagan, S Qadeer - Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on …, 2002 - portal.acm.org |
|
| 91 | Avoiding exponential explosion: generating compact verification conditions C Flanagan, JB Saxe - Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on …, 2001 - portal.acm.org |
|
| 85 | Theorem proving using lazy proof explication C Flanagan, R Joshi, X Ou, JB Saxe - CAV, 2003 - Springer |
|
| 73 | Catching bugs in the web of program invariants C
Flanagan, M Flatt, S Krishnamurthi, S Weirich, M … - Proceedings of the
ACM SIGPLAN 1996 conference on …, 1996 - portal.acm.org |
|
| 72 | DrScheme: A pedagogic programming environment for Scheme RB
Findler, C Flanagan, M Flatt, S Krishnamurthi, … - … Symposium on
Programming Languages: Implementations, Logics …, 1997 - Springer |
|
| 64 | Types for atomicity C Flanagan, S Qadeer - Proceedings of the 2003 ACM SIGPLAN international workshop …, 2003 - portal.acm.org |
|
| 61 | The semantics of future and its use in program optimization C Flanagan, M Felleisen - Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on …, 1995 - portal.acm.org |
|
| 52 | Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid - ACM SIGPLAN Notices, 2005 - portal.acm.org |
|
| 50 | Thread-modular model checking C Flanagan, S Qadeer - Proc. of the Tenth SPIN Workshop, 2003 - Springer |
|
| 47 | Detecting race conditions in large programs C Flanagan, SN Freund - Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on …, 2001 - portal.acm.org |
|
| 42 | Hybrid type checking C Flanagan - Annual Symposium on Principles of Programming Languages, 2006 - portal.acm.org |
|
| 41 | Object types against races C Flanagan, M Abadi - CONCUR, 1999 - Springer |
|
| 38 | Thread-modular verification for shared-memory programs C Flanagan, SN Freund, S Qadeer - Proceedings of the European Symposium on Programming, 2002 - Springer |
|
| 37 | Effective Static Debugging via Componential Set-Based Analysis C Flanagan - 1997 - soe.ucsc.edu |
|
| 31 | Type inference for atomicity C Flanagan, SN Freund, M Lifshin - Proceedings of the 2005 ACM SIGPLAN international workshop …, 2005 - portal.acm.org |
|
| 29 | Set-based analysis for full Scheme and its use in soft-typing C Flanagan, M Felleisen - Rice University Computer Science TR95-253 - soe.ucsc.edu |
|
| 27 | Verifying commit-atomicity using model-checking C Flanagan - Proc. SPIN’04, 2004 - Springer |
|
| 26 | Type inference against races C Flanagan, SN Freund - Science of Computer Programming, 2007 - Elsevier |
|
| 26 | Extending JML for modular specification and verification of multi-threaded programs E RODRIGUEZ, M DWYER, C FLANAGAN, J HATCLIFF, GT … - Lecture notes in computer science - cat.inist.fr |
|
| 25 | Annotation inference for modular checkers C Flanagan, R Joshi, KRM Leino - Information Processing Letters, 2001 - Elsevier |
|
| 24 | A modular checker for multithreaded programs C Flanagan, S Qadeer, SA Seshia - CAV - Springer |
|
| 23 | Exploiting Purity for Atomicity C Flanagan, SN Freund, S Qadeer - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005 - doi.ieeecomputersociety.org |
|
| 22 | Types for safe locking: Static race detection for Java M Abadi, C Flanagan, SN Freund - ACM Transactions on Programming Languages and Systems ( …, 2006 - portal.acm.org |
|
| 17 | pHluid: the design of a parallel functional language implementation on workstations C Flanagan, RS Nikhil - Proceedings of the first ACM SIGPLAN international …, 1996 - portal.acm.org |
|
| 16 | Modular and polymorphic set-based analysis: Theory and practice C Flanagan, M Felleisen - Rapport technique TR96-266, Rice University, novembre, 1996 - soe.ucsc.edu |
|
| 14 | Modular verification of multithreaded programs C Flanagan, SN Freund, S Qadeer, SA Seshia - Theoretical Computer Science, 2005 - Elsevier |
|
| 11 | An explicating theorem prover for quantified formulas C Flanagan, R Joshi, JB Saxe - Draft manuscript, May, 2004 - research.hp.com |
|
| 11 | Automatic software model checking using CLP C Flanagan - Proc. of ESOP - Springer |
|
| 10 | Finding bugs in the web of program invariants C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M … - Proceedings of the ACM Conference on Programming Language …, 1996 |
|
| 9 | Sage: Hybrid Checking for Flexible Specifications … Gronski, K Knowles, A Tomb, SN Freund, C Flanagan - Scheme and Functional Programming, 2006 - scheme2006.cs.uchicago.edu |
|
| 8 | System and method for dynamically detecting unchecked error condition values in computer programs CA Flanagan, M Burrows - US Patent 6,378,087, 2002 - freepatentsonline.com |
|
| 7 | Space-efficient gradual typing D H
90d3
erman, A Tomb, C Flanagan - Trends in Functional Programming, April, 2007 - ccs.neu.edu |
|
| 7 | Hybrid Types, Invariants, and Refinements For Imperative Objects C Flanagan, SN Freund, A Tomb - Presented at the FOOL/WOOD Workshop, 2006 - cs.williams.edu |
|
| 7 | Automatic Synchronization Correction C Flanagan, SN Freund - SCOOL’05, 2005 - research.microsoft.com |
|
| 7 | The semantics of Future C Flanagan, M Felleisen - Rice University Comp. Sci. TR94-238 - soe.ucsc.edu |
|
| 6 | Type reconstruction for general refinement types K Knowles, C Flanagan - European Symposium on Programming (ESOP), March, 2007 - Springer |
|
| 6 | Automatic software model checking via constraint logic C Flanagan - Science of Computer Programming, 2004 - repositories.cdlib.org |
|
| 6 | Software model checking via iterative abstraction refinement of constraint logic queries C Flanagan - CP+ CV, 2004 - soe.ucsc.edu |
|
| 5 | System and method for lexing and parsing program annotations RP Stata, C Flanagan, KRM Leino, MD Lillibridge, … - US Patent 6,353,925, 2002 - freepatentsonline.com |
|
| 5 | A new way of debugging lisp programs C Flanagan, M Felleisen - Proceedings of Lisp Users’ Group Meeting (LUGM), 1998 - soe.ucsc.edu |
|
| 5 | Well-founded touch optimization for futures C Flanagan, M Felleisen - Rice University Computer Science TR94-239, 1994 - soe.ucsc.edu |
|
| 5 | Static debugging: Browsing the web of program invariants C Flanagan, MFS Krishnamurthi, S Weirich, M … - Proc. ACM SIGPLAN’96 Conf. PLDI. ACM SIGPLAN Not. 31 (5) |
|
| 4 | Dynamic Architecture Extraction C Flanagan, SN Freund - Workshop on Formal Approaches to Testing and Runtime …, 2006 - Springer |
|
| 4 | Transactions for Software Model Checking C Flanagan, S Qadeer - Electronic Notes in Theoretical Computer Science, 2003 - Elsevier |
|
| 3 | Unifying Hybrid Types and Contracts J Gronski, C Flanagan - Trends in Functional Programming (TFP), April, 2007 - soe.ucsc.edu |
|
| 3 | Automatic type inference via partial evaluation A Tomb, C Flanagan - Proceedings of the 7th ACM SIGPLAN international conference …, 2005 - portal.acm.org |
|
| 3 | Method and apparatus for verifying data local to a single thread CA Flanagan, SN Freund - US Patent 6,817,009, 2004 - freepatentsonline.com |
|
| 3 | Houdini, an annotation assistant for ESC C Flanagan, KRM Leino - Java. Technical Report 2000-003, Compaq Systems Research Center, … |
|
| 3 | Theessence ofcompiling withcontinuations C Flanagan, A Sabry, BF Duba, M Felleisen - InProgramming Languages Design and Implementation |
|
| 3 | The Design of An Efficient Theorem Prover using Explicated Clauses, 2002 C Flanagan, R Joshi, JB Saxe - Preparation |
|
| 2 | Robby. Extending JML for modular specification and verification of multi-threaded programs E Rodrıguez, MB Dwyer, C Flanagan, J Hatcliff, GT … - Andrew P. Black, editor, ECOOP, 2005 |
|
| 2 | System and method for statically detecting potential race conditions in multi-threaded computer … CA Flanagan, AB Bernard - US Patent 6,343,371, 2002 - freepatentsonline.com |
|
| 2 | Types for atomic interfaces C Flanagan, S Qadeer - Submitted for publication, 2002 |
|
| 2 | Freud.” Type-based race detection for Java” C Flanagan, N Stephen - Proceedings of the ACM SIGPLAN’00 conference on …, 2000 |
|
| 2 | Static detection of dynamic memory errors SKC Flanagan, M Flatt, S Weirich - Proceedings of the 1996 ACM SIGPLAN Conferenceon Programming … |
|
| 1 | Cartesian Partial-Order Reduction G Gueta, C Flanagan, E Yahav, M Sagiv - LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer |
|
| 1 | Robby.“ E Rodrıguez, MB Dwyer, C Flanagan, J Hatcliff, GT … - Extending Sequential Specification Techniques for Modular …, 2005 |
|
| 1 | Atomicity for reliable concurrent software C Flanagan, S Qadeer - A tutorial at the ACM SIGPLAN 2005 conference on Programming …, 2005 |
|
| 1 | Extending JML for Modular Specifcation and Verification of Multi-Threaded Programs M Dwyer, C Flanagan, J Hatcliff, GT Leavens, E … - Technical Report SAnToS-TR2004-10, Department of Computing and … |
|
| 1 | The essence of compiling with continuations (with retrospective) C Flanagan, A Sabry, BF Duba, M Felleisen - 2004 - McKinley |
|
| 1 | Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (summary) C Flanagan, SN Freund - 2004 - csdl.computer.org |
|
| 1 | Predicate abstraction for software verification. POPL’02: Proceedings of the 29th ACM SIGPLAN- … C Flanagan, S Qadeer - 2002 - ACM Press |
|
| 1 | Predicate abstraction for software verification. POPL'02: Proceedings of the 29th ACM POPL. p 191— … C Flanagan, S Qadeer - 2002 - ACM Press |
|
| 1 | Detecting race conditions in large programs. In 2001 ACM SIGPLAN–SIGSOFT Workshop on Program … C Flanagan, SN Freund - 2001 - ACM Press, June |
|
| 1 | PLT MrSpidey: Static Debugger Manual C Flanagan - Rice University, 1999 - cs.ucsc.edu |
|
| 1 | The Semantics of Future Technical Report COMP TR94-238~ Rice University C Flanagan, M Felleisen - Department of Computer Science Oc [obeI 1994 |
|
| 1 | BruceF. Duba, andMatthiasFelleisen. TheEssence of Compiling with Continuations C Flanagan, A Sabry - Proc. SIGPLAN |
|
| 1 | pHluid: The design of a parallel functional language C Flanagan, RS Nikhil - ICFP |
|
| 1 | Assume-Guarantee Model Checking C Flanagan, S Qadeer - spinroot.com |
|
| 1 | Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended … … Knowles, A Tomb, J Gronski, SN Freund, C Flanagan - sage.soe.ucsc.edu |
|
| 1 | Componentional set-based analysis C Flanagan, M Felleisen - Proceedings of the ACM Conference on Programming Language … |
|
| 1 | Mart&# 237; n Abadi. Types for safe locking C Flanagan - ESOP |
|
| 1 | Modular and Polymorphic Set-Based Analysis: Theory and Practice. Rapport technique TR96-266, Rice … C Flanagan, M Felleisen |
|
| 1 | Modular and polymorphic set-based analysis C Flanagan, M Felleisen - Technical Report Rice COMP TR96-266, Department of Computer … |
|
| 1 | Theessence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen - David W. Wall, editor, Proceedingsof the ACM SIGPLAN |