| FastTrack: efficient and precise dynamic race detection C Flanagan, SN Freund ACM Sigplan Notices 44 (6), 121-133, 2009 | 891 | 2009 |
| Type-based race detection for Java C Flanagan, SN Freund Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 567 | 2000 |
| Atomizer: a dynamic atomicity checker for multithreaded programs C Flanagan, SN Freund ACM SIGPLAN Notices 39 (1), 256-267, 2004 | 529 | 2004 |
| 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 | 302 | 2006 |
| Adding type parameterization to the Java language O Agesen, SN Freund, JC Mitchell ACM SIGPLAN Notices 32 (10), 49-65, 1997 | 246 | 1997 |
| 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 | 194 | 2008 |
| The RoadRunner dynamic analysis framework for concurrent programs C Flanagan, SN Freund Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2010 | 165 | 2010 |
| A type system for object initialization in the Java bytecode language SN Freund, JC Mitchell ACM SIGPLAN Notices 33 (10), 310-327, 1998 | 128 | 1998 |
| Detecting race conditions in large programs C Flanagan, SN Freund Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001 | 125 | 2001 |
| Thread-modular verification for shared-memory programs C Flanagan, SN Freund, S Qadeer European Symposium on Programming, 262-277, 2002 | 120 | 2002 |
| Sage: Hybrid checking for flexible specifications J Gronski, K Knowles, A Tomb, SN Freund, C Flanagan Scheme and Functional Programming Workshop 6, 93-104, 2006 | 117 | 2006 |
| A type system for object initialization in the Java bytecode language SN Freund, JC Mitchell ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (6), 1196-1250, 1999 | 107 | 1999 |
| A type system for the Java bytecode language and verifier SN Freund, JC Mitchell Journal of Automated Reasoning 30, 271-321, 2003 | 101 | 2003 |
| A formal framework for the Java bytecode language and verifier SN Freund, JC Mitchell Proceedings of the 14th ACM SIGPLAN conference on Object-oriented …, 1999 | 95 | 1999 |
| THETIS: An ANSI C programming environment designed for introductory use SN Freund, ES Roberts ACM SIGCSE Bulletin 28 (1), 300-304, 1996 | 91 | 1996 |
| Types for atomicity: Static checking and inference for Java C Flanagan, SN Freund, M Lifshin, S Qadeer ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (4), 1-53, 2008 | 90 | 2008 |
| System and method for dynamic data-type checking M Burrows, S Freund US Patent App. 10/040,774, 2003 | 90 | 2003 |
| Adversarial memory for detecting destructive races C Flanagan, SN Freund Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 85 | 2010 |
| Checking concise specifications for multithreaded software SN Freund, S Qadeer Journal of Object Technology 3 (6), 81-101, 2004 | 82 | 2004 |
| Modular verification of multithreaded programs C Flanagan, SN Freund, S Qadeer, SA Seshia Theoretical Computer Science 338 (1-3), 153-183, 2005 | 81 | 2005 |
