Alex Sanchez-Stern

According to our database, Alex Sanchez-Stern authored at least 11 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., June, 2023

PRoofster: Automated Formal Verification.

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Data-driven lemma synthesis for interactive proofs.

Aishwarya Sivaraman, Alex Sanchez-Stern, Bretton Chen, Sorin Lerner, Todd D. Millstein

Proc. ACM Program. Lang., 2022

2021

Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs.

Alex Sanchez-Stern

PhD thesis, 2021

Scooter & Sidecar: a domain-specific approach to writing secure database migrations.

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Generating correctness proofs with neural networks.

Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

REPLica: REPL instrumentation for Coq analysis.

Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Finding root causes of floating point error.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Finding Root Causes of Floating Point Error with Herbgrind.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

CoRR, 2017

2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

Automatically improving accuracy for floating point expressions.

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015