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
7352009
Type-based race detection for Java
C Flanagan, SN Freund
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
5312000
Atomizer: a dynamic atomicity checker for multithreaded programs
C Flanagan, SN Freund
ACM SIGPLAN Notices 39 (1), 256-267, 2004
4882004
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
2822006
Adding type parameterization to the Java language
O Agesen, SN Freund, JC Mitchell
ACM SIGPLAN Notices 32 (10), 49-65, 1997
2431997
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
1742008
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
1412010
A type system for object initialization in the Java bytecode language
SN Freund, JC Mitchell
ACM SIGPLAN Notices 33 (10), 310-327, 1998
1271998
Thread-modular verification for shared-memory programs
C Flanagan, SN Freund, S Qadeer
European Symposium on Programming, 262-277, 2002
1122002
Detecting race conditions in large programs
C Flanagan, SN Freund
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
1102001
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
1012006
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
1001999
A type system for the Java bytecode language and verifier
SN Freund, JC Mitchell
Journal of Automated Reasoning 30 (3), 271-321, 2003
932003
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
921999
THETIS: An ANSI C programming environment designed for introductory use
SN Freund, ES Roberts
ACM SIGCSE Bulletin 28 (1), 300-304, 1996
841996
System and method for dynamic data-type checking
M Burrows, S Freund
US Patent App. 10/040,774, 2003
832003
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
782008
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 60 (12), 20-23, 2017
76*2017
Adversarial memory for detecting destructive races
C Flanagan, SN Freund
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
762010
Modular verification of multithreaded programs
C Flanagan, SN Freund, S Qadeer, SA Seshia
Theoretical Computer Science 338 (1-3), 153-183, 2005
742005
The system can't perform the operation now. Try again later.
Articles 1–20