| Automatically improving accuracy for floating point expressions P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock Acm Sigplan Notices 50 (6), 1-11, 2015 | 277 | 2015 |
| 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 | 79 | 2017 |
| 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 | 76 | 2018 |
| 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 | 52 | 2020 |
| 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 | 26 | 2023 |
| 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 | 24 | 2020 |
| Finding root causes of floating point error with herbgrind A Sanchez-Stern, P Panchekha, S Lerner, Z Tatlock arXiv preprint arXiv:1705.10416, 2017 | 13 | 2017 |
| 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 | 8 | 2023 |
| 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 | 8 | 2016 |
| 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 | 5 | 2022 |
| Automatically Improving Accuracy for Floating Point Expressions (PLDI) P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock ACM, 2015 | 5 | 2015 |
| 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 | 2 | 2021 |
| QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning A Sanchez-Stern, A Varghese, Z Kaufman, D Zhang, T Ringer, Y Brun https://www.alexsanchezstern.com/papers/qed-cartographer-icse2025-extended.pdf, 2024 | | 2024 |
| Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs A Sanchez-Stern University of California, San Diego, 2021 | | 2021 |
| Synthesizing Proofs of Software Correctness with Machine Learning AS Sanchez-Stern 2025 Joint Mathematics Meetings (JMM 2025), 0 | | |
| Research Statment A Sanchez-Stern | | |
