Stephen N. Freund

54 papers A* 9A 11B 5Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
ChatDBG: Augmenting Debugging with Large Language Models.
Proc. ACM Softw. Eng.
Kyla Levin, Nicolas van Kempen, Emery D. Berger, Stephen N. Freund
2025 J jnl
Effective LLM-Driven Code Generation with Pythoness.
CoRR
Kyla Levin, Kyle Gwilt, Emery D. Berger, Stephen N. Freund
2025 A* conf
Flowco: Mixed-Initiative Authoring of Reliable End-to-End Data Analyses via Dataflow Graphs and LLMs.
UIST
Stephen N. Freund, Brooke Simon, Emery D. Berger, Eunice Jun
2025 J jnl
Flowco: Rethinking Data Analysis in the Age of LLMs.
CoRR
Stephen N. Freund, Brooke Simon, Emery D. Berger, Eunice Jun
2024 J jnl
ChatDBG: An AI-Powered Debugging Assistant.
CoRR
Kyla Levin, Nicolas van Kempen, Emery D. Berger, Stephen N. Freund
2024 J jnl
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version).
CoRR
Cormac Flanagan, Stephen N. Freund
2024 A conf
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning.
ECOOP
Cormac Flanagan, Stephen N. Freund
2021 A* ed.
PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021.
PLDI
Stephen N. Freund, Eran Yahav
2020 J jnl
The anchor verifier for blocking and non-blocking concurrent software.
Proc. ACM Program. Lang.
Cormac Flanagan, Stephen N. Freund
2018 B conf
VerifiedFT: a verified, high-performance precise dynamic race detector.
PPoPP
James R. Wilcox, Cormac Flanagan, Stephen N. Freund
2017 A* conf
BigFoot: static check placement for dynamic race detection.
PLDI
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
2017 — conf
Correctness of Partial Escape Analysis for Multithreading Optimization.
FTfJP@ECOOP
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund
2015 A* conf
Array Shadow State Compression for Precise Dynamic Race Detection (T).
ASE
James R. Wilcox, Parker Finch, Cormac Flanagan, Stephen N. Freund
2015 J jnl
Cooperative types for controlling thread interference in Java.
Sci. Comput. Program.
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
2013 — ed.
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013
PASTE
Stephen N. Freund, Corina S. Pasareanu
2013 A conf
RedCard: Redundant Check Elimination for Dynamic Race Detectors.
ECOOP
Cormac Flanagan, Stephen N. Freund
2012 A conf
Cooperative types for controlling thread interference in Java.
ISSTA
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
2012 B conf
Dynamic Analyses for Data-Race Detection.
RV
John Erickson, Stephen N. Freund, Madanlal Musuvathi
2011 B conf
Cooperative Concurrency for a Multicore World - (Extended Abstract).
RV
Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
2011 — ed.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011
FTfJP@ECOOP
Stephen N. Freund
2010 A* conf
Adversarial memory for detecting destructive races.
PLDI
Cormac Flanagan, Stephen N. Freund
2010 J jnl
FastTrack: efficient and precise dynamic race detection.
Commun. ACM
Cormac Flanagan, Stephen N. Freund
2010 — conf
The RoadRunner dynamic analysis framework for concurrent programs.
PASTE
Cormac Flanagan, Stephen N. Freund
2009 A* conf
FastTrack: efficient and precise dynamic race detection.
PLDI
Cormac Flanagan, Stephen N. Freund
2009 A conf
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
ESOP
Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
2008 J jnl
Atomizer: A dynamic atomicity checker for multithreaded programs.
Sci. Comput. Program.
Cormac Flanagan, Stephen N. Freund
2008 J jnl
Programming languages as part of core computer science.
ACM SIGPLAN Notices
Kim B. Bruce, Stephen N. Freund
2008 J jnl
Programming languages in a liberal arts education.
ACM SIGPLAN Notices
Kim B. Bruce, Stephen N. Freund
2008 J jnl
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
ACM SIGPLAN Notices
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
2008 J jnl
Types for atomicity: Static checking and inference for Java.
ACM Trans. Program. Lang. Syst.
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
2008 A* conf
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.
PLDI
Cormac Flanagan, Stephen N. Freund, Jaeheon Yi
2007 J jnl
Type inference against races.
Sci. Comput. Program.
Cormac Flanagan, Stephen N. Freund
2006 — conf
Dynamic Architecture Extraction.
FATES/RV
Cormac Flanagan, Stephen N. Freund
2006 J jnl
Types for safe locking: Static race detection for Java.
ACM Trans. Program. Lang. Syst.
Martín Abadi, Cormac Flanagan, Stephen N. Freund
2005 J jnl
Exploiting Purity for Atomicity.
IEEE Trans. Software Eng.
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2005 J jnl
Modular verification of multithreaded programs.
Theor. Comput. Sci.
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
2005 — conf
Type inference for atomicity.
TLDI
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
2004 A conf
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary).
IPDPS
Cormac Flanagan, Stephen N. Freund
2004 A* conf
Atomizer: a dynamic atomicity checker for multithreaded programs.
POPL
Cormac Flanagan, Stephen N. Freund
2004 J jnl
Checking Concise Specifications for Multithreaded Software.
J. Object Technol.
Stephen N. Freund, Shaz Qadeer
2004 A conf
Exploiting purity for atomicity.
ISSTA
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2004 B conf
Type Inference Against Races.
SAS
Cormac Flanagan, Stephen N. Freund
2003 J jnl
A Type System for the Java Bytecode Language and Verifier.
J. Autom. Reason.
Stephen N. Freund, John C. Mitchell
2003 B conf
Run-Time Type Checking for Binary Programs.
CC
Michael Burrows, Stephen N. Freund, Janet L. Wiener
2002 A conf
Thread-Modular Verification for Shared-Memory Programs.
ESOP
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
2001 — conf
Detecting race conditions in large programs.
PASTE
Cormac Flanagan, Stephen N. Freund
2000 — —
Type systems for object-oriented intermediate languages.
Stephen N. Freund
2000 A* conf
Type-based race detection for Java.
PLDI
Cormac Flanagan, Stephen N. Freund
1999 A conf
A Formal Framework for the Java Bytecode Language and Verifier.
OOPSLA
Stephen N. Freund, John C. Mitchell
1999 J jnl
The type system for object initializatiion in the Jave bytecode language.
ACM Trans. Program. Lang. Syst.
Stephen N. Freund, John C. Mitchell
1998 A conf
A Type System for Object Initialization in the Java Bytecode Language.
OOPSLA
Stephen N. Freund, John C. Mitchell
1997 — conf
A Type System For Object Initialization In the Java Bytecode Language.
HOOTS
Stephen N. Freund, John C. Mitchell
1997 A conf
Adding Type Parameterization to the Java Language.
OOPSLA
Ole Agesen, Stephen N. Freund, John C. Mitchell
1996 A conf
Thetis: an ANSI C programming environment designed for introductory use.
SIGCSE
Stephen N. Freund, Eric S. Roberts