Alex Sanchez-Stern
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. | Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun |
| 2025 | ICSE | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2023 | ICSE | PRoofster: Automated Formal Verification. | Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun |
| 2021 | PLDI | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2020 | CPP | REPLica: REPL instrumentation for Coq analysis. | Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner |
| 2020 | PLDI | Generating correctness proofs with neural networks. | Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner |
| 2018 | PLDI | Finding root causes of floating point error. | Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
| 2015 | PLDI | Automatically improving accuracy for floating point expressions. | Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |