Automatically improving accuracy for floating point expressions. - Pavel Panchekha; Alex Sanchez-Stern; James R. Wilcox; Zachary Tatlock (PLDI, 2015)

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. - Nasrine Damouche; Matthieu Martel; Pavel Panchekha; Chen Qiu; Alexander Sanchez-Stern; Zachary Tatlock (NSV@CAV, 2016)

Finding Root Causes of Floating Point Error with Herbgrind. - Alex Sanchez-Stern; Pavel Panchekha; Sorin Lerner; Zachary Tatlock (CoRR, 2017)

Finding root causes of floating point error. - Alex Sanchez-Stern; Pavel Panchekha; Sorin Lerner; Zachary Tatlock (PLDI, 2018)

REPLica: REPL instrumentation for Coq analysis. - Talia Ringer; Alex Sanchez-Stern; Dan Grossman; Sorin Lerner (CPP, 2020)

Generating correctness proofs with neural networks. - Alex Sanchez-Stern; Yousef Alhessi; Lawrence K. Saul; Sorin Lerner (MAPL@PLDI, 2020)

Scooter & Sidecar: a domain-specific approach to writing secure database migrations. - John Renner; Alex Sanchez-Stern; Fraser Brown; Sorin Lerner; Deian Stefan (PLDI, 2021)

Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs. - Alex Sanchez-Stern (2021)

Data-driven lemma synthesis for interactive proofs. - Aishwarya Sivaraman; Alex Sanchez-Stern; Bretton Chen; Sorin Lerner; Todd D. Millstein (Proc. ACM Program. Lang., 2022)

PRoofster: Automated Formal Verification. - Arpan Agrawal; Emily First; Zhanna Kaufman; Tom Reichel; Shizhuo Zhang; Timothy Zhou; Alex Sanchez-Stern; Talia Ringer; Yuriy Brun (ICSE Companion, 2023)

Passport: Improving Automated Formal Verification Using Identifiers. - Alex Sanchez-Stern; Emily First; Timothy Zhou; Zhanna Kaufman; Yuriy Brun; Talia Ringer (ACM Trans. Program. Lang. Syst., 2023)

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. - Alex Sanchez-Stern; Abhishek Varghese; Zhanna Kaufman; Shizhuo Dylan Zhang; Talia Ringer; Yuriy Brun (ICSE, 2025)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. - Kyle Thompson; Nuno Saavedra; Pedro Carrott; Kevin Fisher; Alex Sanchez-Stern; Yuriy Brun; João F. Ferreira 001; Sorin Lerner; Emily First (ICSE, 2025)