Stephen N. Freund

According to our database, Stephen N. Freund authored at least 41 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version).

Cormac Flanagan, Stephen N. Freund

CoRR, 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.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2020

The anchor verifier for blocking and non-blocking concurrent software.

Cormac Flanagan, Stephen N. Freund

Proc. ACM Program. Lang., 2020

2018

VerifiedFT: a verified, high-performance precise dynamic race detector.

James R. Wilcox, Cormac Flanagan, Stephen N. Freund

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017

BigFoot: static check placement for dynamic race detection.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Correctness of Partial Escape Analysis for Multithreading Optimization.

Dustin Rhodes, Cormac Flanagan, Stephen N. Freund

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2015

Cooperative types for controlling thread interference in Java.

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan

Sci. Comput. Program., 2015

Array Shadow State Compression for Precise Dynamic Race Detection (T).

James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2013

RedCard: Redundant Check Elimination for Dynamic Race Detectors.

Cormac Flanagan, Stephen N. Freund

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Dynamic Analyses for Data-Race Detection.

John Erickson, Stephen N. Freund, Madanlal Musuvathi

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Cooperative Concurrency for a Multicore World - (Extended Abstract).

Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Proceedings of the Runtime Verification - Second International Conference, 2011

2010

FastTrack: efficient and precise dynamic race detection.

Cormac Flanagan, Stephen N. Freund

Commun. ACM, 2010

Adversarial memory for detecting destructive races.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

The RoadRunner dynamic analysis framework for concurrent programs.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

2009

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.

Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Proceedings of the Programming Languages and Systems, 2009

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

Programming languages as part of core computer science.

Kim B. Bruce, Stephen N. Freund

ACM SIGPLAN Notices, 2008

Programming languages in a liberal arts education.

Kim B. Bruce, Stephen N. Freund

ACM SIGPLAN Notices, 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, 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

ACM SIGPLAN Notices, 2008

Atomizer: A dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund

Sci. Comput. Program., 2008

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Type inference against races.

Cormac Flanagan, Stephen N. Freund

Sci. Comput. Program., 2007

2006

Types for safe locking: Static race detection for Java.

Martín Abadi, Cormac Flanagan, Stephen N. Freund

ACM Trans. Program. Lang. Syst., 2006

Dynamic Architecture Extraction.

Cormac Flanagan, Stephen N. Freund

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Exploiting Purity for Atomicity.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

IEEE Trans. Software Eng., 2005

Modular verification of multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia

Theor. Comput. Sci., 2005

Type inference for atomicity.

Cormac Flanagan, Stephen N. Freund, Marina Lifshin

Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2005

2004

Checking Concise Specifications for Multithreaded Software.

Stephen N. Freund, Shaz Qadeer

J. Object Technol., 2004

Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).

Cormac Flanagan, Stephen N. Freund

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

A Type System for the Java Bytecode Language and Verifier.

Stephen N. Freund, John C. Mitchell

J. Autom. Reason., 2003

Run-Time Type Checking for Binary Programs.

Michael Burrows, Stephen N. Freund, Janet L. Wiener

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Thread-Modular Verification for Shared-Memory Programs.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

Proceedings of the Programming Languages and Systems, 2002

2001

Detecting race conditions in large programs.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

Type systems for object-oriented intermediate languages.

Stephen N. Freund

PhD thesis, 2000

Type-based race detection for Java.

Cormac Flanagan, Stephen N. Freund

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

The type system for object initializatiion in the Jave bytecode language.

Stephen N. Freund, John C. Mitchell

ACM Trans. Program. Lang. Syst., 1999

A Formal Framework for the Java Bytecode Language and Verifier.

Stephen N. Freund, John C. Mitchell

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1997

A Type System For Object Initialization In the Java Bytecode Language.

Stephen N. Freund, John C. Mitchell

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Adding Type Parameterization to the Java Language.

Ole Agesen, Stephen N. Freund, John C. Mitchell

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996

Thetis: an ANSI C programming environment designed for introductory use.

Stephen N. Freund, Eric S. Roberts

Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996