Alex Sanchez-Stern

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 10

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. CoRR (2022)
Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein
Data-driven lemma synthesis for interactive proofs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
Scooter & Sidecar: a domain-specific approach to writing secure database migrations. PLDI (2021)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating correctness proofs with neural networks. MAPL@PLDI (2020)
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
REPLica: REPL instrumentation for Coq analysis. CPP (2020)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating Correctness Proofs with Neural Networks. CoRR (2019)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding root causes of floating point error. PLDI (2018)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding Root Causes of Floating Point Error with Herbgrind. CoRR (2017)
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
Automatically improving accuracy for floating point expressions. PLDI (2015)