Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Freund, Stephen N. - Computer Science Department, Williams College
Modular Veri cation of Multithreaded Williams College Technical Note 04-08
The Costs and Benefits of Java Bytecode Subroutines Stephen N. Freund
Run-Time Type Checking for Binary Programs Michael Burrows1
Exploiting Purity for Atomicity (Extended Version) Cormac Flanagan Stephen N. Freund Shaz Qadeer
A Formal Framework for the Java Bytecode Language and Verifier Stephen N. Freund John C. Mitchell
Safe Asynchronous Exceptions For Python Williams College Technical Note 02-2002, Dec. 2002
Adversarial Memory for Detecting Destructive Races Cormac Flanagan
DOI:10.1145/1839676.1839699 NOVEMBER 2010 | VOL. 53 | NO. 11 | COMMUNICATIONS OF THE ACM 93
Theoretical Computer Science 338 (2005) 153183 www.elsevier.com/locate/tcs
Vol. 3, No. 6, June 2004 Checking Concise Specifications For Multi-
A Type System for Object Initialization in the Java Bytecode Language
Dynamic Architecture Extraction Cormac Flanagan1
Detecting Race Conditions in Large Programs Cormac Flanagan Stephen N. Freund
A Type System for Object Initialization In the JavaTM
THETIS: AN ANSI C PROGRAMMING ENVIRONMENT DESIGNED FOR INTRODUCTORY USE
Sage: Hybrid Checking for Flexible Specifications Jessica Gronski Kenneth Knowles Aaron Tomb Stephen N. Freund Cormac Flanagan
SRC Technical Note November 19, 2001
Adding Type Parameterization to the JavaTM Sun Microsystems Laboratories
Electronic Notes in Theoretical Computer Science 10 (1998) URL: http://www.elsevier.nl/locate/entcs/volume10.html 7 pages
Safe Asynchronous Exceptions For Python Williams College Technical Note 02-2002, Dec. 2002
Checking Concise Specifications For Multithreaded Software Williams College Technical Note 012002, Dec. 2002 (revised Dec. 2003)
Thread-Modular Verification For Shared-Memory Programs1
Speci cation and Veri cation of Java Bytecode Subroutines and Exceptions
Type Inference Against Races (extended version) Williams College Technical Note 04-06
Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs
Partial Type and E ect Inference for Rcc/Java is NP-Complete Williams College Technical Note 04-01
Journal of Automated Reasoning 30: 271321, 2003. 2003 Kluwer Academic Publishers. Printed in the Netherlands.
A Dynamic Atomicity Checker For Multithreaded Programs Cormac Flanagan
Type Inference Against Races Cormac Flanagan1
Types for Precise Thread Interference University of California at Santa Cruz Technical Report UCSC-SOE-11-22
Types for Precise Thread Interference Jaeheon Yi Tim Disney
