| 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 | 1952 | 2002 |
| Dynamic partial-order reduction for model checking software C Flanagan, P Godefroid ACM Sigplan Notices 40 (1), 110-121, 2005 | 971 | 2005 |
| FastTrack: efficient and precise dynamic race detection C Flanagan, SN Freund ACM Sigplan Notices 44 (6), 121-133, 2009 | 932 | 2009 |
| The essence of compiling with continuations C Flanagan, A Sabry, BF Duba, M Felleisen ACM Sigplan Notices 28 (6), 237-247, 1993 | 820 | 1993 |
| Houdini, an annotation assistant for ESC/Java C Flanagan, KRM Leino International Symposium of Formal Methods Europe, 500-517, 2001 | 593 | 2001 |
| Type-based race detection for Java C Flanagan, SN Freund Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 569 | 2000 |
| Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund ACM SIGPLAN Notices 39 (1), 256-267, 2004 | 538 | 2004 |
| A type and effect system for atomicity C Flanagan, S Qadeer ACM SIGPLAN Notices 38 (5), 338-349, 2003 | 518 | 2003 |
| Predicate abstraction for software verification C Flanagan, S Qadeer Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 429 | 2002 |
| 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 | 356 | 2002 |
| Avoiding exponential explosion: Generating compact verification conditions C Flanagan, JB Saxe Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001 | 355 | 2001 |
| Hybrid type checking C Flanagan Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 348 | 2006 |
| Efficient purely-dynamic information flow analysis TH Austin, C Flanagan Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 321 | 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 | 307 | 2006 |
| Multiple facets for dynamic information flow TH Austin, C Flanagan Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 282 | 2012 |
| 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 | 235 | 2012 |
| Thread-modular model checking C Flanagan, S Qadeer International SPIN Workshop on Model Checking of Software, 213-224, 2003 | 228 | 2003 |
| Types for safe locking C Flanagan, M Abadi European Symposium on Programming, 91-108, 1999 | 214 | 1999 |
| Permissive dynamic information flow analysis TH Austin, C Flanagan Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010 | 207 | 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 | 204 | 2008 |
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
