Stephen Mell
Publications by Year
Research Areas
Data Management and Algorithms, Topic Modeling, Machine Learning and Algorithms, Advanced Database Systems and Queries, Algorithms and Data Compression
Most-Cited Works
- → Counterfactual Explanations for Natural Language Interfaces(2022)6 cited
- → Optimal Program Synthesis via Abstract Interpretation(2024)6 cited
- → Synthesizing Trajectory Queries from Examples(2023)5 cited
- → Safe Predictors for Enforcing Input-Output Specifications(2020)4 cited
- → Securing Election Infrastructure with Hand-Marked Paper Ballots(2020)2 cited
- → Ideograph: A Language for Expressing and Manipulating Structured Data(2023)2 cited
- → Opportunistically Parallel Lambda Calculus(2025)2 cited
- Synthesizing Video Trajectory Queries(2021)
- → Preprocessed Datasets for "Synthesizing Trajectory Queries from Examples" at CAV 2023(2023)