Folgen
Stephen Freund
Stephen Freund
Computer Science, Williams College
Bestätigte E-Mail-Adresse bei cs.williams.edu
Titel
Zitiert von
Zitiert von
Jahr
FastTrack: efficient and precise dynamic race detection
C Flanagan, SN Freund
ACM Sigplan Notices 44 (6), 121-133, 2009
8172009
Type-based race detection for Java
C Flanagan, SN Freund
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
5412000
Atomizer: a dynamic atomicity checker for multithreaded programs
C Flanagan, SN Freund
ACM SIGPLAN Notices 39 (1), 256-267, 2004
5072004
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
2882006
Adding type parameterization to the Java language
O Agesen, SN Freund, JC Mitchell
ACM SIGPLAN Notices 32 (10), 49-65, 1997
2471997
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
1842008
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
1542010
A type system for object initialization in the Java bytecode language
SN Freund, JC Mitchell
ACM SIGPLAN Notices 33 (10), 310-327, 1998
1241998
Thread-modular verification for shared-memory programs
C Flanagan, SN Freund, S Qadeer
European Symposium on Programming, 262-277, 2002
1182002
Detecting race conditions in large programs
C Flanagan, SN Freund
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
1172001
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
1082006
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
1021999
A type system for the Java bytecode language and verifier
SN Freund, JC Mitchell
Journal of Automated Reasoning 30 (3), 271-321, 2003
962003
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
891996
System and method for dynamic data-type checking
M Burrows, S Freund
US Patent App. 10/040,774, 2003
852003
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
832008
Adversarial memory for detecting destructive races
C Flanagan, SN Freund
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
822010
Checking concise specifications for multithreaded software
SN Freund, S Qadeer
Journal of Object Technology 3 (6), 81-101, 2004
812004
Modular verification of multithreaded programs
C Flanagan, SN Freund, S Qadeer, SA Seshia
Theoretical Computer Science 338 (1-3), 153-183, 2005
762005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20