Extended static checking for Java C Flanagan, KRM Leino, M Lillibridge, G Nelson, JB Saxe, R Stata Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 1914 | 2002 |
Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 915 | 2005 |
FastTrack: efficient and precise dynamic race detection C Flanagan, SN Freund ACM Sigplan Notices 44 (6), 121-133, 2009 | 875 | 2009 |
The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM Sigplan Notices 28 (6), 237-247, 1993 | 752 | 1993 |
Type-based race detection for Java C Flanagan, SN Freund Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 562 | 2000 |
Houdini, an annotation assistant for ESC/Java C Flanagan, KRM Leino International Symposium of Formal Methods Europe, 500-517, 2001 | 549 | 2001 |
Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund ACM SIGPLAN Notices 39 (1), 256-267, 2004 | 525 | 2004 |
A type and effect system for atomicity C Flanagan, S Qadeer ACM SIGPLAN Notices 38 (5), 338-349, 2003 | 498 | 2003 |
Predicate abstraction for software verification C Flanagan, S Qadeer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 407 | 2002 |
Hybrid type checking C Flanagan Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 337 | 2006 |
DrScheme: A programming environment for Scheme RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ... Journal of functional programming 12 (2), 159-182, 2002 | 337 | 2002 |
Avoiding exponential explosion: Generating compact verification conditions C Flanagan, JB Saxe Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001 | 335 | 2001 |
Efficient purely-dynamic information flow analysis TH Austin, C Flanagan Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 309 | 2009 |
Types for safe locking: Static race detection for Java M Abadi, C Flanagan, SN Freund ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (2), 207-255, 2006 | 298 | 2006 |
Multiple facets for dynamic information flow TH Austin, C Flanagan Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 260 | 2012 |
Thread-modular model checking C Flanagan, S Qadeer Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 220 | 2003 |
Sound predictive race detection in polynomial time Y Smaragdakis, J Evans, C Sadowski, J Yi, C Flanagan ACM Sigplan Notices 47 (1), 387-400, 2012 | 219 | 2012 |
Types for safe locking C Flanagan, M Abadi European Symposium on Programming, 91-108, 1999 | 211 | 1999 |
Permissive dynamic information flow analysis TH Austin, C Flanagan Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010 | 205 | 2010 |
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund, J Yi ACM SIGPLAN Notices 43 (6), 293-303, 2008 | 193 | 2008 |