scHolar index |
| 126 references between 1973 and 2008 90 references cited (3216 citations) 25.52 citations per reference (median=2.00) 35.73 citations per cited reference (median=7.00) |
h-index: 28 (a=4.10, m=0.80) g-index: 56 |
| 631 | Extended static checking for Java C
Flanagan, KRM Leino, M Lillibridge, G Nelson, JB … - Proceedings of the
ACM SIGPLAN 2002 Conference on …, 2002 - portal.acm.org |
|
| 261 | The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen - Proceedings of the ACM SIGPLAN 1993 conference on …, 1993 - portal.acm.org |
|
| 204 | Type-based race detection for Java C Flanagan, SN Freund - ACM SIGPLAN Notices, 2000 - portal.acm.org |
|
| 150 | 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 |
|
| 131 | Houdini, an Annotation Assistant for ESC/Java C Flanagan, KRM Leino - LECTURE NOTES IN COMPUTER SCIENCE, 2001 - soe.ucsc.edu |
|
| 118 | Atomizer: A dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund - Science of Computer Programming, 2008 - Elsevier |
|
| 105 | Types for Safe Locking C Flanagan, M Abadi - LECTURE NOTES IN COMPUTER SCIENCE, 1999 - Springer |
|
| 104 | DrScheme: a programming environment for Scheme RB FINDLER, J CLEMENTS, C FLANAGAN, M FLATT, S … - Journal of Functional Programming, 2002 - Cambridge Univ Press |
|
| 99 | Predicate abstraction for software verification C Flanagan, S Qadeer - Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on …, 2002 - portal.acm.org |
|
| 97 | Avoiding exponential explosion: generating compact verification conditions C Flanagan, JB Saxe - ACM SIGPLAN Notices, 2001 - portal.acm.org |
|
| 90 | Theorem Proving Using Lazy Proof Explication C Flanagan, R Joshi, X Ou, JB Saxe - LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer |
|
| 75 | DrScheme: A Pedagogic Programming Environment for Scheme RB Findler, C Flanagan, M Flatt, S Krishnamurthi, … - LECTURE NOTES IN COMPUTER SCIENCE, 1997 - Springer |
|
| 71 | Catching bugs in the web of program invariants C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M … - ACM SIGPLAN Notices, 1996 - portal.acm.org |
|
| 68 | Types for atomicity C Flanagan, S Qadeer - ACM SIGPLAN Notices, 2003 - portal.acm.org |
|
| 66 | Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid - Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on …, 2005 - portal.acm.org |
|
| 59 | 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 |
|
| 50 | Hybrid type checking C Flanagan - Proceedings of the 2006 POPL Conference, 2006 - portal.acm.org |
|
| 50 | Thread-Modular Model Checking C Flanagan, S Qadeer - LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer |
|
| 45 | Detecting race conditions in large programs C Flanagan, SN Freund - Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on …, 2001 - portal.acm.org |
|
| 43 | Object Types against Races C Flanagan, M Abadi - LECTURE NOTES IN COMPUTER SCIENCE, 1999 - Springer |
|
| 37 | Thread-Modular Verification for Shared-Memory Programs C Flanagan, SN Freund, S Qadeer - LECTURE NOTES IN COMPUTER SCIENCE, 2002 - Springer |
|
| 36 | Effective Static Debugging via Componential Set-Based Analysis C Flanagan - 1997 - cs.ucsc.edu |
|
| 33 | Type inference for atomicity C Flanagan, SN Freund, M Lifshin - Proceedings of the 2005 ACM SIGPLAN international workshop …, 2005 - portal.acm.org |
|
| 28 | Type inference against races C Flanagan, SN Freund - Science of Computer Programming, 2007 - Elsevier |
|
| 28 | 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 |
|
| 28 | Verifying Commit-Atomicity Using Model-Checking C Flanagan - LECTURE NOTES IN COMPUTER SCIENCE, 2004 - Springer |
|
| 28 | Set-based analysis for full Scheme and its use in soft-typing C Flanagan, M Felleisen - Rice University Computer Science TR95-253 - cse.ucsc.edu |
|
| 25 | Exploiting Purity for Atomicity C Flanagan, SN Freund, S Qadeer - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2005 - doi.ieeecomputersociety.org |
|
| 25 | 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 |
|
| 24 | A Modular Checker for Multithreaded Programs C Flanagan, S Qadeer, SA Seshia - LECTURE NOTES IN COMPUTER SCIENCE, 2002 - Springer |
|
| 23 | Annotation inference for modular checkers C Flanagan, R Joshi, KRM Leino - Information Processing Letters, 2001 - Elsevier |
|
| 16 | 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 |
|
| 14 | Modular verification of multithreaded programs C Flanagan, SN Freund, S Qadeer, SA Seshia - Theoretical Computer Science, 2005 - cs.williams.edu |
|
| 14 | Modular and polymorphic set-based analysis: Theory and practice C Flanagan, M Felleisen - Rapport technique TR96-266, Rice University, novembre, 1996 - soe.ucsc.edu |
|
| 12 | Sage: Hybrid checking for flexible specifications …
Gronski, K Knowles, A Tomb, SN Freund, C Flanagan - Scheme and
Functional Programming Workshop, September, 2006 - cs.williams.edu |
|
| 12 | Automatic Software Model Checking Using CLP C Flanagan - LECTURE NOTES IN COMPUTER SCIENCE, 2003 - Springer |
|
| 11 | An explicating theorem prover for quantified formulas C Flanagan, R Joshi, JB Saxe - Draft manuscript, May, 2004 - research.hp.com |
|
| 11 | 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 |
|
| 10 | Space-efficient gradual typing D Herman, A Tomb, C Flanagan - Trends in Functional Programming, April, 2007 - cs.ucsc.edu |
|
| 10 | Hybrid Types, Invariants, and Refinements For Imperative Objects C Flanagan, SN Freund, A Tomb - Presented at the FOOL/WOOD Workshop, 2006 - cs.williams.edu |
|
| 9 | Automatic Synchronization Correction C Flanagan, SN Freund - Synchronization and Concurrency in Object-Oriented Languages …, 2005 - research.microsoft.com |
|
| 8 | Type Reconstruction for General Refinement Types K Knowles, C Flanagan - LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer |
|
| 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 | Dynamic Architecture Extraction C Flanagan, SN Freund - LECTURE NOTES IN COMPUTER SCIENCE, 2006 - Springer |
|
| 7 | Software model checking via iterative abstraction refinement of constraint logic queries C Flanagan - CP+ CV, 2004 - soe.ucsc.edu |
|
| 7 | Automatic software model checking via constraint logic C Flanagan - Science of Computer Programming, 2004 - repositories.cdlib.org |
|
| 7 | The Semantics of Future C Flanagan, M Felleisen - 1994 - soe.ucsc.edu |
|
| 6 | Transactions for Software Model Checking C Flanagan, S Qadeer - Electronic Notes in Theoretical Computer Science, 2003 - 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 | Houdini, an annotation assistant for ESC C Flanagan, KRM Leino - Java. Technical Report 2000-003, Compaq Systems Research Center, … |
|
| 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 - 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 | Unifying Hybrid Types and Contracts J Gronski, C Flanagan - Trends in Functional Programming (TFP), April, 2007 - cs-www.cse.ucsc.edu |
|
| 4 | Cartesian Partial-Order Reduction G Gueta, C Flanagan, E Yahav, M Sagiv - LECTURE NOTES IN COMPUTER SCIENCE, 2007 - Springer |
|
| 4 | Extending JML for Modular Specification and Verification of Multi-threaded Programs E Rodrıguez, M Dwyer, C Flanagan, J Hatcliff - Springer |
|
| 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 App. 09/728,629, 2000 - Google Patents |
|
| 3 | Theessence ofcompiling withcontinuations C Flanagan, A Sabry, BF Duba, M Felleisen - … the ACM SigplanConferenceon Programming Language Design and …, 1993 |
|
| 3 | The Design of An Efficient Theorem Prover using Explicated Clauses, 2002 C Flanagan, R Joshi, JB Saxe - Preparation |
|
| 2 | Status report: specifying javascript with ML D Herman, C Flanagan - Proceedings of the 2007 workshop on Workshop on ML, 2007 - portal.acm.org |
|
| 2 | Types for atomic interfaces C Flanagan, S Qadeer - Submitted for publication, 2002 |
|
| 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 | 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 | Atomicity for reliable concurrent software C Flanagan, S Qadeer - A tutorial at the ACM SIGPLAN 2005 conference on Programming …, 2005 |
|
| 1 | Robby.“ E Rodrıguez, MB Dwyer, C Flanagan, J Hatcliff, GT … - Extending Sequential Specification Techniques for Modular …, 2005 |
|
| 1 | Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (summary) C Flanagan, SN Freund - 2004 - csdl.computer.org |
|
| 1 | The essence of compiling with continuations (with retrospective) C Flanagan, A Sabry, BF Duba, M Felleisen - 2004 - McKinley |
|
| 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 | Predicate abstraction for software verification. POPL'02: Proceedings of the 29th ACM POPL. p 191— … C Flanagan, S Qadeer - 2002 - ACM Press |
|
| 1 | Predicate abstraction for software verification. POPL’02: Proceedings of the 29th ACM SIGPLAN- … 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.rice.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 | June.“The Essence of Compiling with Continuations.” C Flanagan, A Sabry, BF Duba, M Felleisen - Proc. Conf. on Programming Language Design and …, 1993 |
|
| 1 | OFDM Narrowband Interference Estimation Using Cyclic Prefix Based Algorithm C de Frein, M Flanagan, A Fagan - RTS - ee.ucd.ie |
|
| 1 | The semantics of future and its use in program optimization CFM Felleisen - Proceedings of the ACM Symposium on Principles of … |
|
| 1 | Theessence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen - David W. Wall, editor, Proceedingsof the ACM SIGPLAN |
|
| 1 | Dynamic partial-order reduction for model checking software.. 2005 C Flanagan, P Godefroid - Long Beach, California, USA |
|
| 1 | Modular and polymorphic set-based analysis C Flanagan, M Felleisen - Technical Report Rice COMP TR96-266, Department of Computer … |
|
| 1 | Modular and Polymorphic Set-Based Analysis: Theory and Practice. Rapport technique TR96-266, Rice … C Flanagan, M Felleisen |
|
| 1 | Mart&# 237; n Abadi. Types for safe locking C Flanagan - ESOP |
|
| 1 | Type-Based Race Detection for Java (in ACM SIGPLAN Notices, 35, ACM Press, New York, NY, USA, 2000) C Flanagan, SN Freund - Vol |
|
| 1 | Componentional set-based analysis C Flanagan, M Felleisen - Proceedings of the ACM Conference on Programming Language … |
|
| 1 | Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended … … Knowles, A Tomb, J Gronski, SN Freund, C Flanagan - cs.williams.edu |
|
| 1 | Assume-Guarantee Model Checking C Flanagan, S Qadeer - spinroot.com |
|
| 1 | pHluid: The design of a parallel functional language C Flanagan, RS Nikhil - ICFP |
|
| 1 | BruceF. Duba, andMatthiasFelleisen. TheEssence of Compiling with Continuations C Flanagan, A Sabry - Proc. SIGPLAN |