Thetis: an ANSI C programming environment designed for introductory use. - Stephen N. Freund; Eric S. Roberts (SIGCSE, 1996)

Adding Type Parameterization to the Java Language. - Ole Agesen; Stephen N. Freund; John C. Mitchell (OOPSLA, 1997)

A Type System For Object Initialization In the Java Bytecode Language. - Stephen N. Freund; John C. Mitchell (HOOTS, 1997)

A Formal Framework for the Java Bytecode Language and Verifier. - Stephen N. Freund; John C. Mitchell (OOPSLA, 1999)

The type system for object initializatiion in the Jave bytecode language. - Stephen N. Freund; John C. Mitchell (ACM Trans. Program. Lang. Syst., 1999)

Type-based race detection for Java. - Cormac Flanagan; Stephen N. Freund (PLDI, 2000)

Type systems for object-oriented intermediate languages. - Stephen N. Freund (2000)

Detecting race conditions in large programs. - Cormac Flanagan; Stephen N. Freund (PASTE, 2001)

Thread-Modular Verification for Shared-Memory Programs. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer (ESOP, 2002)

Run-Time Type Checking for Binary Programs. - Michael Burrows; Stephen N. Freund; Janet L. Wiener (CC, 2003)

A Type System for the Java Bytecode Language and Verifier. - Stephen N. Freund; John C. Mitchell (J. Autom. Reason., 2003)

Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). - Cormac Flanagan; Stephen N. Freund (IPDPS, 2004)

Checking Concise Specifications for Multithreaded Software. - Stephen N. Freund; Shaz Qadeer (J. Object Technol., 2004)

Type inference for atomicity. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin (TLDI, 2005)

Modular verification of multithreaded programs. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia (Theor. Comput. Sci., 2005)

Exploiting Purity for Atomicity. - Cormac Flanagan; Stephen N. Freund; Shaz Qadeer (IEEE Trans. Software Eng., 2005)

Dynamic Architecture Extraction. - Cormac Flanagan; Stephen N. Freund (FATES/RV, 2006)

Types for safe locking: Static race detection for Java. - Martín Abadi; Cormac Flanagan; Stephen N. Freund (ACM Trans. Program. Lang. Syst., 2006)

Type inference against races. - Cormac Flanagan; Stephen N. Freund (Sci. Comput. Program., 2007)

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. - Cormac Flanagan; Stephen N. Freund; Jaeheon Yi (PLDI, 2008)

Atomizer: A dynamic atomicity checker for multithreaded programs. - Cormac Flanagan; Stephen N. Freund (Sci. Comput. Program., 2008)

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. - Eric Allen; Mark W. Bailey; Rastislav Bodík; Kim B. Bruce; Kathleen Fisher; Stephen N. Freund; Robert Harper 001; Chandra Krintz; Shriram Krishnamurthi; James R. Larus; Doug Lea; Gary T. Leavens; et al. (ACM SIGPLAN Notices, 2008)

Programming languages in a liberal arts education. - Kim B. Bruce; Stephen N. Freund (ACM SIGPLAN Notices, 2008)

Programming languages as part of core computer science. - Kim B. Bruce; Stephen N. Freund (ACM SIGPLAN Notices, 2008)

Types for atomicity: Static checking and inference for Java. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin; Shaz Qadeer (ACM Trans. Program. Lang. Syst., 2008)

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. - Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan (ESOP, 2009)

The RoadRunner dynamic analysis framework for concurrent programs. - Cormac Flanagan; Stephen N. Freund (PASTE, 2010)

Adversarial memory for detecting destructive races. - Cormac Flanagan; Stephen N. Freund (PLDI, 2010)

FastTrack: efficient and precise dynamic race detection. - Cormac Flanagan; Stephen N. Freund (Commun. ACM, 2010)

Cooperative Concurrency for a Multicore World - (Extended Abstract). - Jaeheon Yi; Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan (RV, 2011)

Dynamic Analyses for Data-Race Detection. - John Erickson; Stephen N. Freund; Madanlal Musuvathi (RV, 2012)

RedCard: Redundant Check Elimination for Dynamic Race Detectors. - Cormac Flanagan; Stephen N. Freund (ECOOP, 2013)

Array Shadow State Compression for Precise Dynamic Race Detection (T). - James R. Wilcox; Parker Finch; Cormac Flanagan; Stephen N. Freund (ASE, 2015)

Cooperative types for controlling thread interference in Java. - Jaeheon Yi; Tim Disney; Stephen N. Freund; Cormac Flanagan (Sci. Comput. Program., 2015)

Correctness of Partial Escape Analysis for Multithreading Optimization. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (FTfJP@ECOOP, 2017)

BigFoot: static check placement for dynamic race detection. - Dustin Rhodes; Cormac Flanagan; Stephen N. Freund (PLDI, 2017)

VerifiedFT: a verified, high-performance precise dynamic race detector. - James R. Wilcox; Cormac Flanagan; Stephen N. Freund (PPoPP, 2018)

The anchor verifier for blocking and non-blocking concurrent software. - Cormac Flanagan; Stephen N. Freund (Proc. ACM Program. Lang., 2020)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning. - Cormac Flanagan; Stephen N. Freund (ECOOP, 2024)

ChatDBG: An AI-Powered Debugging Assistant. - Kyla Levin; Nicolas van Kempen; Emery D. Berger; Stephen N. Freund (CoRR, 2024)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version). - Cormac Flanagan; Stephen N. Freund (CoRR, 2024)

ChatDBG: Augmenting Debugging with Large Language Models. - Kyla Levin; Nicolas van Kempen; Emery D. Berger; Stephen N. Freund (Proc. ACM Softw. Eng., 2025)

Effective LLM-Driven Code Generation with Pythoness. - Kyla Levin; Kyle Gwilt; Emery D. Berger; Stephen N. Freund (CoRR, 2025)

Flowco: Rethinking Data Analysis in the Age of LLMs. - Stephen N. Freund; Brooke Simon; Emery D. Berger; Eunice Jun (CoRR, 2025)