scHolar index |
| 103 references between 1993 and 2011 103 references cited (5655 citations) 54.90 citations per reference (median=17.00) 54.90 citations per cited reference (median=17.00) |
h-index: 33 (a=5.19, m=1.83) g-index: 74 |
| 1092 | Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge… - Proceedings of the …, 2002 - portal.acm.org |
|
| 354 | The essence of compiling with continuations C Flanagan, A Sabry, BF Duba… - ACM SIGPLAN Notices, 1993 - portal.acm.org |
|
| 324 | Type-based race detection for Java C Flanagan… - ACM SIGPLAN Notices, 2000 - portal.acm.org |
|
| 254 | A type and effect system for atomicity C Flanagan… - ACM SIGPLAN Notices, 2003 - portal.acm.org |
|
| 251 | Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan… - ACM SIGPLAN Notices, 2004 - portal.acm.org |
|
| 207 | Dynamic partial-order reduction for model checking software C Flanagan… - ACM Sigplan Notices, 2005 - portal.acm.org |
|
| 193 | Houdini, an annotation assistant for ESC/Java C Flanagan… - FME 2001: Formal Methods for Increasing …, 2001 - Springer |
|
| 169 | Predicate abstraction for software verification C Flanagan… - ACM SIGPLAN Notices, 2002 - portal.acm.org |
|
| 165 | Avoiding exponential explosion: Generating compact verification conditions C Flanagan… - ACM SIGPLAN Notices, 2001 - portal.acm.org |
|
| 155 | Types for safe locking C Flanagan… - Programming Languages and Systems, 1999 - Springer |
|
| 150 | DrScheme: A programming environment for Scheme RB Findler, J Clements, C Flanagan… - Journal of functional …, 2002 - portal.acm.org |
|
| 142 | Hybrid type checking C Flanagan - Conference record of the 33rd ACM SIGPLAN- …, 2006 - portal.acm.org |
|
| 120 | Theorem proving using lazy proof explication C Flanagan, R Joshi, X Ou… - Computer Aided Verification, 2003 - Springer |
|
| 97 | Types for atomicity C Flanagan… - ACM SIGPLAN Notices, 2003 - portal.acm.org |
|
| 89 | Thread-modular model checking C Flanagan… - Model Checking Software, 2003 - Springer |
|
| 88 | Componential set-based analysis C Flanagan… - ACM SIGPLAN Notices, 1997 - portal.acm.org |
|
| 87 | Catching bugs in the web of program invariants C Flanagan, M Flatt, S Krishnamurthi… - ACM SIGPLAN …, 1996 - portal.acm.org |
|
| 86 | Types for safe locking: Static race detection for Java M Abadi, C Flanagan… - ACM Transactions on …, 2006 - portal.acm.org |
|
| 82 | The semantics of future and its use in program optimization C Flanagan… - Proceedings of the 22nd ACM SIGPLAN- …, 1995 - portal.acm.org |
|
| 81 | DrScheme: A pedagogic programming environment for Scheme R Findler, C Flanagan, M Flatt… - … , Logics, and Programs, 1997 - Springer |
|
| 73 | Object types against races C Flanagan… - CONCUR'99 Concurrency Theory, 1999 - Springer |
|
| 72 | FastTrack: efficient and precise dynamic race detection C Flanagan… - ACM SIGPLAN Notices, 2009 - portal.acm.org |
|
| 68 | Detecting race conditions in large programs C Flanagan… - Proceedings of the 2001 ACM SIGPLAN- …, 2001 - portal.acm.org |
|
| 65 | Componential set-based analysis C Flanagan… - ACM Transactions on Programming …, 1999 - portal.acm.org |
|
| 61 | Thread-modular verification for shared-memory programs C Flanagan, S Freund… - Programming Languages and …, 2002 - Springer |
|
| 56 | Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund… - Proceedings of the 2008 ACM …, 2008 - portal.acm.org |
|
| 52 | Extending JML for modular specification and verification of multi-threaded programs E Rodriguez, M Dwyer, C Flanagan… - ECOOP 2005-Object- …, 2005 - Springer |
|
| 49 | Type inference for atomicity C Flanagan, SN Freund… - Proceedings of the 2005 ACM …, 2005 - portal.acm.org |
|
| 48 | Modular verification of multithreaded programs C Flanagan, SN Freund, S Qadeer… - Theoretical Computer …, 2005 - Elsevier |
|
| 44 | Type inference against races C Flanagan… - Static Analysis, 2004 - Springer |
|
| 41 | Verifying commit-atomicity using model-checking C Flanagan - Model Checking Software, 2004 - Springer |
|
| 36 | Effective static debugging via componential set-based analysis C Flanagan - 1997 - dspace.rice.edu |
|
| 35 | The semantics of future and an application C Flanagan… - Journal of Functional …, 1999 - Cambridge Univ Press |
|
| 32 | Set-based analysis for full Scheme and its use in soft-typing C Flanagan… - 1995 - Citeseer |
|
| 30 | Annotation inference for modular checkers C Flanagan, R Joshi… - Information Processing Letters, 2001 - Elsevier |
|
| 29 | SingleTrack: A dynamic determinism checker for multithreaded programs …, S Freund, C Flanagan - Programming Languages and …, 2009 - Springer |
|
| 29 | Sage: Hybrid checking for flexible specifications …, A Tomb, SN Freund, C Flanagan - Scheme and Functional …, 2006 - Citeseer |
|
| 29 | A modular checker for multithreaded programs C Flanagan, S Qadeer… - Computer Aided Verification, 2002 - Springer |
|
| 24 | Cartesian partial-order reduction G Gueta, C Flanagan, E Yahav… - Proceedings of the 14th …, 2007 - portal.acm.org |
|
| 24 | Exploiting purity for atomicity C Flanagan, SN Freund… - IEEE Transactions on Software …, 2005 - computer.org |
|
| 23 | Hybrid types, invariants, and refinements for imperative objects C Flanagan, SN Freund… - Presented at the FOOL/WOOD …, 2006 - Citeseer |
|
| 22 | Space-efficient gradual typing …, A Tomb, C Flanagan - Trends in Functional Programming, 2007 - Citeseer |
|
| 22 | System and method for lexing and parsing program annotations RP Stata, C Flanagan, KRM Leino… - US Patent …, 2002 - Google Patents |
|
| 21 | Types for atomicity: Static checking and inference for Java C Flanagan, SN Freund, M Lifshin… - ACM Transactions on …, 2008 - portal.acm.org |
|
| 21 | System and method for statically detecting potential race conditions in multi-threaded computer programs CA Flanagan… - US Patent 6,343,371, 2002 - Google Patents |
|
| 20 | Exploiting purity for atomicity C Flanagan, SN Freund… - ACM SIGSOFT Software …, 2004 - portal.acm.org |
|
| 20 | System and method for dynamically detecting unchecked error condition values in computer programs CA Flanagan… - US Patent 6,378,087, 2002 - Google Patents |
|
| 18 | Type reconstruction for general refinement types …, C Flanagan - Programming Languages and Systems, 2007 - Springer |
|
| 18 | pHluid: The design of a parallel functional language implementation on workstations C Flanagan… - ACM SIGPLAN Notices, 1996 - portal.acm.org |
|
| 17 | Efficient purely-dynamic information flow analysis …, C Flanagan - ACM SIGPLAN Notices, 2009 - portal.acm.org |
|
| 17 | Dynamic Architecture Extraction C Flanagan… - Formal Approaches to Software Testing and …, 2006 - Springer |
|
| 17 | An explicating theorem prover for quantified formulas C Flanagan, R Joshi… - Draft manuscript, May, 2004 - Citeseer |
|
| 16 | Atomizer: A dynamic atomicity checker for multithreaded programs C Flanagan… - Science of Computer Programming, 2008 - Elsevier |
|
| 16 | Type inference against races C Flanagan… - Science of Computer Programming, 2007 - Elsevier |
|
| 16 | Method and apparatus for verifying data local to a single thread CA Flanagan… - US Patent 6,817,009, 2004 - Google Patents |
|
| 15 | Automatic synchronization correction C Flanagan… - Proc. of SCOOL, 2005 - Citeseer |
|
| 15 | Automatic software model checking using CLP C Flanagan - Programming Languages and Systems, 2003 - Springer |
|
| 15 | Modular and polymorphic set-based analysis: Theory and practice C Flanagan… - 1996 - Citeseer |
|
| 14 | Unifying hybrid types and contracts …, C Flanagan - Eighth Symposium on Trends in Functional …, 2007 - Citeseer |
|
| 13 | Finding bugs in the web of program invariants C Flanagan, M Flatt, S Krishnamurthi, S Weirich… - Proceedings of the ACM …, 1996 |
|
| 12 | Adversarial memory for detecting destructive races C Flanagan… - ACM SIGPLAN Notices, 2010 - portal.acm.org |
|
| 12 | Automatic software model checking via constraint logic C Flanagan - Science of Computer Programming, 2004 - Elsevier |
|
| 11 | SAGE: Unified hybrid checking for first-class types, general refinement types, and dynamic (extended report) …, A Tomb, J Gronski, SN Freund, C Flanagan - 2006 - Citeseer |
|
| 11 | A type and effect system for atomicity C Flanagan… - Proceedings of the ACM SIGPLAN 2003 conference on … |
|
| 11 | The semantics of Future C Flanagan… - 1994 - Citeseer |
|
| 10 | Software model checking via iterative abstraction refinement of constraint logic queries C Flanagan - CP+ CV, 2004 - Citeseer |
|
| 9 | Permissive dynamic information flow analysis …, C Flanagan - Proceedings of the 5th ACM SIGPLAN …, 2010 - portal.acm.org |
|
| 8 | Effects for cooperable and serializable threads …, C Flanagan - Proceedings of the 5th ACM SIGPLAN workshop …, 2010 - portal.acm.org |
|
| 8 | Method and apparatus for automatically inferring annotations CA Flanagan… - US Patent 7,120,902, 2006 - Google Patents |
|
| 7 | Hybrid type checking …, C Flanagan - ACM Transactions on Programming …, 2010 - portal.acm.org |
|
| 7 | The RoadRunner dynamic analysis framework for concurrent programs C Flanagan… - Proceedings of the 9th ACM SIGPLAN- …, 2010 - portal.acm.org |
|
| 7 | The essence of compiling with continuations C Flanagan, A Sabry, BF Duba… - ACM SIGPLAN Notices, 2004 - portal.acm.org |
|
| 6 | SideTrack: generalizing dynamic atomicity analysis …, C Sadowski, C Flanagan - … of the 7th Workshop on Parallel …, 2009 - portal.acm.org |
|
| 6 | Status report: specifying JavaScript with ML …, C Flanagan - Proceedings of the 2007 workshop on …, 2007 - portal.acm.org |
|
| 6 | Well-founded touch optimization for futures C Flanagan… - 1994 - Citeseer |
|
| 5 | Compositional reasoning and decidable checking for dependent contract types …, C Flanagan - Proceedings of the 3rd workshop on …, 2009 - portal.acm.org |
|
| 5 | Houdini, an annotation assistant for ESC C Flanagan… - 2000 - Java. Technical Report 2000-003, … |
|
| 5 | A new way of debugging lisp programs C Flanagan… - Proceedings of Lisp Users' Group Meeting ( …, 1998 - Citeseer |
|
| 5 | Static debugging: Browsing the web of program invariants C Flanagan, MFS Krishnamurthi, S Weirich… - … '96 Conf. PLDI. ACM SIGPLAN Not … |
|
| 5 | Cooperative reasoning for preemptive execution …, C Sadowski, C Flanagan - Proceedings of the 16th ACM symposium on … - jaeheon.info |
|
| 4 | Correct blame for contracts: no more scapegoating C Dimoulas, RB Findler, C Flanagan… - ACM SIGPLAN …, 2011 - portal.acm.org |
|
| 4 | Method and apparatus for organizing warning messages CA Flanagan… - US Patent 6,978,443, 2005 - Google Patents |
|
| 4 | Transactions for software model checking C Flanagan… - Electronic Notes in Theoretical Computer Science, 2003 - Elsevier |
|
| 4 | Predicate abstraction for software verification. 29th POPL, 191–202 C Flanagan… - 2002 - ACM |
|
| 4 | The essence of compiling with continuations (with retrospective) C Flanagan, A Sabry, BF Duba… - Best of PLDI |
|
| 4 | OFDM narrowband interference estimation using cyclic prefix based algorithm C de Fréin, M Flanagan… - RTS - ee.ucd.ie |
|
| 3 | FastTrack: efficient and precise dynamic race detection C Flanagan… - Communications of the ACM, 2010 - portal.acm.org |
|
| 3 | Automatic type inference via partial evaluation …, C Flanagan - Proceedings of the 7th ACM SIGPLAN …, 2005 - portal.acm.org |
|
| 3 | Atomizer: A dynamic atomicity checker for multithreaded programs (summary) C Flanagan… - 2004 - computer.org |
|
| 3 | E ective static debugging via componential set-based analysis C Flanagan - 1997 - Citeseer |
|
| 3 | Theessence ofcompiling withcontinuations C Flanagan, A Sabry, BF Duba… - SIGPLAN Notices28, 1993 |
|
| 2 | Online
optical fiber sensor for detecting premature browning in ground beef
using pattern recognition techniques and reflection spectroscopy …, C Sheridan, E Lewis, C Flanagan… - Sensors Journal, …, 2007 - ieeexplore.ieee.org |
|
| 2 | Assume-guarantee model checking C Flanagan… - 2003 - Citeseer |
|
| 2 | The {Extended Static Checker} for {Java} C Flanagan, M Lillibridge, G Nelson, JB Saxe… - 1999 - citeulike.org |
|
| 2 | Freud.” Type-based race detection for Java” C Flanagan… - Proceedings of the ACM SIGPLAN'00 conference on …, 2000 |
|
| 2 | The Extended Static Checker for Java, 1999 C Flanagan, KM Leino, M Lillibridge, G Nelson… - See http://research. compaq. com/ … |
|
| 2 | «Extended
static checking for java», PLDI'02: Proceedings of the ACM SIGPLAN 2002
Conference on Programming language design and implementation C Flanagan, KRM Leino, M Lillibridge, G Nelson… - ACM: New York, NY, USA, 2002 |
|
| 2 | received
the PhD degree from Rice University in 1997. He is a faculty member in
the Computer Science Department at the University of California, Santa … C Flanagan - His research focuses on static and dynamic checking … |
|
| 2 | The Design of An Efficient Theorem Prover using Explicated Clauses. 2002 C Flanagan, R Joshi… - Preparation |
|
| 2 | K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java C Flanagan - Proceedings of the ACM SIGPLAN'02 Conference on …, 2002 |
|
| 1 | Types for Precise Thread Interference …, T Disney, SN Freund, C Flanagan - 2011 - jaeheon.info |
|
| 1 | Virtual Values for Language Extension …, T Disney, C Flanagan - 2010 - slang.soe.ucsc.edu |
|
| 1 | Proof production in decision procedures …, C Barrett, D Dill, C Flanagan - Submitted to …, 2002 - apache2.risc.uni-linz.ac.at |