Stephen Mell

sm1@cis.upenn.edu | GitHub | Google Scholar | DLBP | OrcID

Computer science PhD student at the University of Pennsylvania, advised by Osbert Bastani and Steve Zdancewic and member of the Programming Languages Club and the ASSET Center for Safe, Explainable, and Trustworthy AI.

Research

Selected Publications

• Optimal Program Synthesis via Abstract Interpretation | POPL 2024
  Stephen Mell, Steve Zdancewic, Osbert Bastani
  Paper | arXiv | Artifact | Talk | Slides
• Synthesizing Trajectory Queries from Examples | CAV 2023
  Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
  Paper | Extended, arXiv | Artifact | Talk | Slides
• Ideograph: A Language for Expressing and Manipulating Structured Data | TERMGRAPH 2022
  Stephen Mell, Osbert Bastani, Steve Zdancewic
  Paper | Talk | Slides
• PAC Prediction Sets for Large Language Models of Code | ICML 2023
  Adam Khakhar, Stephen Mell, Osbert Bastani
  Paper | arXiv
• Counterfactual Explanations for Natural Language Interfaces | ACL 2022
  George Tolkachev, Stephen Mell, Stephan Zdancewic, Osbert Bastani
  Paper | arXiv

Other Publications

• Synthesizing Video Trajectory Queries | AIPLANS (NeurIPS 2021 Workshop)
  Stephen Mell, Favyen Bastani, Stephan Zdancewic, Osbert Bastani
  Paper
• Securing Election Infrastructure with Hand-Marked Paper Ballots | JSPG 2020
  Varun Gupta, Joel Hypolite, Stephen Mell, Hersh Sanghvi^†
  Paper
• Safe Predictors for Enforcing Input-Output Specifications | 1, 2 (NeurIPS 2019 Workshops)
  Stephen Mell, Olivia Brown, Justin Goodwin, Sung-Hyun Son
  Paper

† Ordered alphabetically

Teaching

• Course: Linux/Unix Skills
  Designer and Instructor for CIS 191 in Spring 2021 at the University of Pennsylvania