Follow
Stephen Freund
Stephen Freund
Computer Science, Williams College
Verified email at cs.williams.edu
Title
Cited by
Cited by
Year
FastTrack: efficient and precise dynamic race detection
C Flanagan, SN Freund
ACM Sigplan Notices 44 (6), 121-133, 2009
8892009
Type-based race detection for Java
C Flanagan, SN Freund
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
5662000
Atomizer: a dynamic atomicity checker for multithreaded programs
C Flanagan, SN Freund
ACM SIGPLAN Notices 39 (1), 256-267, 2004
5292004
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
3012006
Adding type parameterization to the Java language
O Agesen, SN Freund, JC Mitchell
ACM SIGPLAN Notices 32 (10), 49-65, 1997
2451997
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
1942008
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
1652010
A type system for object initialization in the Java bytecode language
SN Freund, JC Mitchell
ACM SIGPLAN Notices 33 (10), 310-327, 1998
1281998
Detecting race conditions in large programs
C Flanagan, SN Freund
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
1242001
Thread-modular verification for shared-memory programs
C Flanagan, SN Freund, S Qadeer
European Symposium on Programming, 262-277, 2002
1202002
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
1172006
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
1071999
A type system for the Java bytecode language and verifier
SN Freund, JC Mitchell
Journal of Automated Reasoning 30, 271-321, 2003
1012003
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
951999
THETIS: An ANSI C programming environment designed for introductory use
SN Freund, ES Roberts
ACM SIGCSE Bulletin 28 (1), 300-304, 1996
911996
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
902008
System and method for dynamic data-type checking
M Burrows, S Freund
US Patent App. 10/040,774, 2003
902003
Adversarial memory for detecting destructive races
C Flanagan, SN Freund
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
852010
Checking concise specifications for multithreaded software
SN Freund, S Qadeer
Journal of Object Technology 3 (6), 81-101, 2004
822004
Modular verification of multithreaded programs
C Flanagan, SN Freund, S Qadeer, SA Seshia
Theoretical Computer Science 338 (1-3), 153-183, 2005
812005
The system can't perform the operation now. Try again later.
Articles 1–20