Stephen Mell

13 papers A* 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimal Program Synthesis via Abstract Interpretation.
CoRR
Stephen Mell, Steve Zdancewic, Osbert Bastani
2026 J jnl
Synthesizing Trajectory Queries from Examples.
CoRR
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
2025 J jnl
A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions.
CoRR
Stephen Mell, Botong Zhang, David Mell, Shuo Li, Ramya Ramalingam, Nathan Yu, Steve Zdancewic, Osbert Bastani
2025 J jnl
Opportunistically Parallel Lambda Calculus.
Proc. ACM Program. Lang.
Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani
2024 J jnl
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models.
CoRR
Stephen Mell, Steve Zdancewic, Osbert Bastani
2024 J jnl
Optimal Program Synthesis via Abstract Interpretation.
Proc. ACM Program. Lang.
Stephen Mell, Steve Zdancewic, Osbert Bastani
2023 A* conf
PAC Prediction Sets for Large Language Models of Code.
ICML
Adam Khakhar, Stephen Mell, Osbert Bastani
2023 J jnl
PAC Prediction Sets for Large Language Models of Code.
CoRR
Adam Khakhar, Stephen Mell, Osbert Bastani
2023 — conf
Synthesizing Trajectory Queries from Examples.
CAV (1)
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
2022 — conf
Counterfactual Explanations for Natural Language Interfaces.
ACL (2)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
2022 J jnl
Counterfactual Explanations for Natural Language Interfaces.
CoRR
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
2022 — conf
Ideograph: A Language for Expressing and Manipulating Structured Data.
TERMGRAPH@FSCD
Stephen Mell, Osbert Bastani, Steve Zdancewic
2020 J jnl
Safe Predictors for Enforcing Input-Output Specifications.
CoRR
Stephen Mell, Olivia M. Brown, Justin A. Goodwin, Sung-Hyun Son