Follow
Alex Sanchez-Stern
Alex Sanchez-Stern
Research Assistant, UC San Diego
Verified email at eng.ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
Acm Sigplan Notices 50 (6), 1-11, 2015
2552015
Finding root causes of floating point error
A Sanchez-Stern, P Panchekha, S Lerner, Z Tatlock
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
712018
Toward a standard benchmark format and suite for floating-point analysis
N Damouche, M Martel, P Panchekha, C Qiu, A Sanchez-Stern, Z Tatlock
Numerical Software Verification: 9th International Workshop, NSV 2016 …, 2017
642017
Generating correctness proofs with neural networks
A Sanchez-Stern, Y Alhessi, L Saul, S Lerner
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine …, 2020
342020
REPLica: REPL instrumentation for Coq analysis
T Ringer, A Sanchez-Stern, D Grossman, S Lerner
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
192020
Passport: Improving automated formal verification using identifiers
A Sanchez-Stern, E First, T Zhou, Z Kaufman, Y Brun, T Ringer
ACM Transactions on Programming Languages and Systems 45 (2), 1-30, 2023
172023
Finding root causes of floating point error with herbgrind
A Sanchez-Stern, P Panchekha, S Lerner, Z Tatlock
arXiv preprint arXiv:1705.10416, 2017
132017
Proofster: Automated formal verification
A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
72023
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.(July 2016)
N Damouche, M Martel, P Panchekha, J Qiu, A Sanchez-Stern, Z Tatlock
62016
Data-driven lemma synthesis for interactive proofs
A Sivaraman, A Sanchez-Stern, B Chen, S Lerner, T Millstein
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 505-531, 2022
32022
Scooter & Sidecar: a domain-specific approach to writing secure database migrations
J Renner, A Sanchez-Stern, F Brown, S Lerner, D Stefan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
22021
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs
A Sanchez-Stern
University of California, San Diego, 2021
2021
Research Statment
A Sanchez-Stern
The system can't perform the operation now. Try again later.
Articles 1–13