Stephen N. Freund

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 6

Top Topics

Dynamic Constraints

Commonsense Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Kyla Levin, Nicolas van Kempen, Emery D. Berger, Stephen N. Freund
ChatDBG: An AI-Powered Debugging Assistant. CoRR (2024)
Cormac Flanagan, Stephen N. Freund
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version). CoRR (2024)
Cormac Flanagan, Stephen N. Freund
The anchor verifier for blocking and non-blocking concurrent software. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
James R. Wilcox, Cormac Flanagan, Stephen N. Freund
VerifiedFT: a verified, high-performance precise dynamic race detector. PPOPP (2018)
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
Correctness of Partial Escape Analysis for Multithreading Optimization. FTfJP@ECOOP (2017)
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
BigFoot: static check placement for dynamic race detection. PLDI (2017)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112 (2015)
James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund
Array Shadow State Compression for Precise Dynamic Race Detection (T). ASE (2015)
Cormac Flanagan, Stephen N. Freund
RedCard: Redundant Check Elimination for Dynamic Race Detectors. ECOOP (2013)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. ISSTA (2012)
John Erickson, Stephen N. Freund, Madanlal Musuvathi
Dynamic Analyses for Data-Race Detection. RV (2012)
Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
Cooperative Concurrency for a Multicore World - (Extended Abstract). RV (2011)
Cormac Flanagan, Stephen N. Freund
The RoadRunner dynamic analysis framework for concurrent programs. PASTE (2010)
Cormac Flanagan, Stephen N. Freund
FastTrack: efficient and precise dynamic race detection. Commun. ACM 53 (11) (2010)
Cormac Flanagan, Stephen N. Freund
Adversarial memory for detecting destructive races. PLDI (2010)
Cormac Flanagan, Stephen N. Freund
FastTrack: efficient and precise dynamic race detection. PLDI (2009)
Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. ESOP (2009)
Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43 (11) (2008)
Cormac Flanagan, Stephen N. Freund, Jaeheon Yi
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI (2008)
Kim B. Bruce, Stephen N. Freund
Programming languages as part of core computer science. ACM SIGPLAN Notices 43 (11) (2008)
Kim B. Bruce, Stephen N. Freund
Programming languages in a liberal arts education. ACM SIGPLAN Notices 43 (11) (2008)
Cormac Flanagan, Stephen N. Freund
Atomizer: A dynamic atomicity checker for multithreaded programs. Sci. Comput. Program. 71 (2) (2008)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Cormac Flanagan, Stephen N. Freund
Type inference against races. Sci. Comput. Program. 64 (1) (2007)
Cormac Flanagan, Stephen N. Freund
Dynamic Architecture Extraction. FATES/RV (2006)
Martín Abadi, Cormac Flanagan, Stephen N. Freund
Types for safe locking: Static race detection for Java. ACM Trans. Program. Lang. Syst. 28 (2) (2006)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Exploiting Purity for Atomicity. IEEE Trans. Software Eng. 31 (4) (2005)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
Modular verification of multithreaded programs. Theor. Comput. Sci. 338 (1-3) (2005)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
Type inference for atomicity. TLDI (2005)
Cormac Flanagan, Stephen N. Freund
Type Inference Against Races. SAS (2004)
Stephen N. Freund, Shaz Qadeer
Checking Concise Specifications for Multithreaded Software. J. Object Technol. 3 (6) (2004)
Cormac Flanagan, Stephen N. Freund
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). IPDPS (2004)
Cormac Flanagan, Stephen N. Freund
Atomizer: a dynamic atomicity checker for multithreaded programs. POPL (2004)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Exploiting purity for atomicity. ISSTA (2004)
Michael Burrows, Stephen N. Freund, Janet L. Wiener
Run-Time Type Checking for Binary Programs. CC (2003)
Stephen N. Freund, John C. Mitchell
A Type System for the Java Bytecode Language and Verifier. J. Autom. Reason. 30 (3-4) (2003)
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
Thread-Modular Verification for Shared-Memory Programs. ESOP (2002)
Cormac Flanagan, Stephen N. Freund
Detecting race conditions in large programs. PASTE (2001)
Cormac Flanagan, Stephen N. Freund
Type-based race detection for Java. PLDI (2000)
Stephen N. Freund, John C. Mitchell
The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. 21 (6) (1999)
Stephen N. Freund, John C. Mitchell
A Formal Framework for the Java Bytecode Language and Verifier. OOPSLA (1999)
Stephen N. Freund, John C. Mitchell
A Type System for Object Initialization in the Java Bytecode Language. OOPSLA (1998)
Stephen N. Freund, John C. Mitchell
A Type System For Object Initialization In the Java Bytecode Language. Electron. Notes Theor. Comput. Sci. 10 (1997)
Ole Agesen, Stephen N. Freund, John C. Mitchell
Adding Type Parameterization to the Java Language. OOPSLA (1997)
Stephen N. Freund, Eric S. Roberts
Thetis: an ANSI C programming environment designed for introductory use. SIGCSE (1996)