Alex Sanchez-Stern

15 papers A* 5B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.
ICSE
Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun
2025 A* conf
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
ICSE
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2024 J jnl
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
CoRR
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
2023 — conf
PRoofster: Automated Formal Verification.
ICSE Companion
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
2023 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst.
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2022 J jnl
Data-driven lemma synthesis for interactive proofs.
Proc. ACM Program. Lang.
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
2022 J jnl
Passport: Improving Automated Formal Verification Using Identifiers.
CoRR
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
2021 — —
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs.
Alex Sanchez-Stern
2021 A* conf
Scooter & Sidecar: a domain-specific approach to writing secure database migrations.
PLDI
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
2020 — conf
Generating correctness proofs with neural networks.
MAPL@PLDI
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
2020 B conf
REPLica: REPL instrumentation for Coq analysis.
CPP
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
2019 J jnl
Generating Correctness Proofs with Neural Networks.
CoRR
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
2018 A* conf
Finding root causes of floating point error.
PLDI
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
2017 J jnl
Finding Root Causes of Floating Point Error with Herbgrind.
CoRR
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
2015 A* conf
Automatically improving accuracy for floating point expressions.
PLDI
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock