Sotabase

Career

· Researcher, Software Systems Laboratory (SSL), Columbia University

Publications (15)

Automatically improving accuracy for floating point expressions
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
251
cited
Finding root causes of floating point error
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
78
cited
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
NSV@CAV · 2016
74
cited
Generating correctness proofs with neural networks
MAPL@PLDI · 2019
69
cited
Passport: Improving Automated Formal Verification Using Identifiers
ACM Transactions on Programming Languages and Systems · 2022
38
cited
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
International Conference on Software Engineering · 2024
20
cited
REPLica: REPL instrumentation for Coq analysis
Certified Programs and Proofs · 2020
19
cited
Data-driven lemma synthesis for interactive proofs
Proc. ACM Program. Lang. · 2022
7
cited
PRoofster: Automated Formal Verification
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2023
7
cited
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
International Conference on Software Engineering · 2024
4
cited
ProverBot 9000 : Neural Networks for Proof Assistance
2016
3
cited
Scooter & Sidecar: a domain-specific approach to writing secure database migrations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
1
cited
1 Synthesizing and Debugging Numerical Software
2020
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
2021
Source Code and Case Studies for Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
Artifact Digital Object Group · 2021
Sotabase
Alex Sanchez-Stern | Researcher Profile | Sotabase | Sotabase