| Counterfactual Explanations for Natural Language Interfaces G Tolkachev, S Mell, S Zdancewic, O Bastani arXiv preprint arXiv:2204.13192, 2022 | 7 | 2022 |
| Synthesizing Video Trajectory Queries S Mell, F Bastani, S Zdancewic, O Bastani Advances in Programming Languages and Neurosymbolic Systems Workshop, 2021 | 6 | 2021 |
| Safe predictors for enforcing input-output specifications S Mell, O Brown, J Goodwin, SH Son arXiv preprint arXiv:2001.11062, 2020 | 5 | 2020 |
| Synthesizing trajectory queries from examples S Mell, F Bastani, S Zdancewic, O Bastani International Conference on Computer Aided Verification, 459-484, 2023 | 2 | 2023 |
| Ideograph: A Language for Expressing and Manipulating Structured Data S Mell, O Bastani, S Zdancewic arXiv preprint arXiv:2303.15784, 2023 | 1 | 2023 |
| PAC Prediction Sets for Large Language Models of Code A Khakhar, S Mell, O Bastani arXiv preprint arXiv:2302.08703, 2023 | 1 | 2023 |
| Securing Election Infrastructure with Hand-Marked Paper Ballots V Gupta, J Hypolite, S Mell, H Sanghvi | | |
