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