Volgen
Stephen Freund
Stephen Freund
Computer Science, Williams College
Geverifieerd e-mailadres voor cs.williams.edu
Titel
Geciteerd door
Geciteerd door
Jaar
FastTrack: efficient and precise dynamic race detection
C Flanagan, SN Freund
ACM Sigplan Notices 44 (6), 121-133, 2009
8662009
Type-based race detection for Java
C Flanagan, SN Freund
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
5542000
Atomizer: a dynamic atomicity checker for multithreaded programs
C Flanagan, SN Freund
ACM SIGPLAN Notices 39 (1), 256-267, 2004
5202004
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
2952006
Adding type parameterization to the Java language
O Agesen, SN Freund, JC Mitchell
ACM SIGPLAN Notices 32 (10), 49-65, 1997
2491997
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
1892008
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
1572010
A type system for object initialization in the Java bytecode language
SN Freund, JC Mitchell
ACM SIGPLAN Notices 33 (10), 310-327, 1998
1251998
Thread-modular verification for shared-memory programs
C Flanagan, SN Freund, S Qadeer
European Symposium on Programming, 262-277, 2002
1192002
Detecting race conditions in large programs
C Flanagan, SN Freund
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 2001
1192001
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
1142006
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
992003
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
System and method for dynamic data-type checking
M Burrows, S Freund
US Patent App. 10/040,774, 2003
902003
THETIS: An ANSI C programming environment designed for introductory use
SN Freund, ES Roberts
ACM SIGCSE Bulletin 28 (1), 300-304, 1996
901996
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
862008
Adversarial memory for detecting destructive races
C Flanagan, SN Freund
Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010
842010
Modular verification of multithreaded programs
C Flanagan, SN Freund, S Qadeer, SA Seshia
Theoretical Computer Science 338 (1-3), 153-183, 2005
802005
Checking concise specifications for multithreaded software
SN Freund, S Qadeer
Journal of Object Technology 3 (6), 81-101, 2004
802004
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20