Safe Predictors for Enforcing Input-Output Specifications. - Stephen Mell; Olivia M. Brown; Justin A. Goodwin; Sung-Hyun Son (CoRR, 2020)

Counterfactual Explanations for Natural Language Interfaces. - George Tolkachev; Stephen Mell; Steve Zdancewic; Osbert Bastani (ACL (2), 2022)

Ideograph: A Language for Expressing and Manipulating Structured Data. - Stephen Mell; Osbert Bastani; Steve Zdancewic (TERMGRAPH@FSCD, 2022)

Synthesizing Trajectory Queries from Examples. - Stephen Mell; Favyen Bastani; Steve Zdancewic; Osbert Bastani (CAV (1), 2023)

PAC Prediction Sets for Large Language Models of Code. - Adam Khakhar; Stephen Mell; Osbert Bastani (ICML, 2023)

An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. - Stephen Mell; Steve Zdancewic; Osbert Bastani (CoRR, 2024)

Optimal Program Synthesis via Abstract Interpretation. - Stephen Mell; Steve Zdancewic; Osbert Bastani (Proc. ACM Program. Lang., 2024)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions. - Stephen Mell; Botong Zhang; David Mell; Shuo Li; Ramya Ramalingam; Nathan Yu; Steve Zdancewic; Osbert Bastani (CoRR, 2025)