Sotabase

Career

· Contributor/Researcher, AWS2025–
· Researcher, University of Wisconsin-Madison2025–

Publications (92)

Recursive Program Synthesis
International Conference on Computer Aided Verification · 2013
178
cited
Symbolic optimization with SMT solvers
ACM-SIGACT Symposium on Principles of Programming Languages · 2014
141
cited
FairSquare: probabilistic verification of program fairness
Proc. ACM Program. Lang. · 2017
121
cited
Semantic Robustness of Models of Source Code
IEEE International Conference on Software Analysis, Evolution, and Reengineering · 2020
116
cited
Introduction to Neural Network Verification
Found. Trends Program. Lang. · 2021
104
cited
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification
International Conference on Computer Aided Verification · 2012
99
cited
MapReduce program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2016
95
cited
Beautiful Interpolants
International Conference on Computer Aided Verification · 2013
84
cited
Qubit Mapping and Routing via MaxSAT
Micro · 2022
74
cited
Synthesizing coupling proofs of differential privacy
Proc. ACM Program. Lang. · 2017
74
cited
Backdoors in Neural Models of Source Code
International Conference on Pattern Recognition · 2020
71
cited
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification
International Conference on Verification, Model Checking and Abstract Interpretation · 2012
70
cited
Maximal specification synthesis
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
68
cited
Authoring and Verifying Human-Robot Interactions
ACM Symposium on User Interface Software and Technology · 2018
66
cited
From Under-Approximations to Over-Approximations and Back
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2012
55
cited
Bodystorming Human-Robot Interactions
ACM Symposium on User Interface Software and Technology · 2019
52
cited
Fairness-Aware Programming
FAT · 2019
52
cited
Craig Interpretation
Sensors Applications Symposium · 2012
50
cited
Syntax-guided synthesis of Datalog programs
ESEC/SIGSOFT FSE · 2018
48
cited
Constraint-Based Synthesis of Datalog Programs
International Conference on Principles and Practice of Constraint Programming · 2017
41
cited
Sotabase