Automatically improving accuracy for floating point expressions P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock Acm Sigplan Notices 50 (6), 1-11, 2015 | 259 | 2015 |
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 | 72 | 2018 |
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 | 66 | 2017 |
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 | 37 | 2020 |
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 | 19 | 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 | 18 | 2023 |
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 | 7 | 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 | 6 | 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 | 3 | 2022 |
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 |
Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs A Sanchez-Stern University of California, San Diego, 2021 | | 2021 |
Research Statment A Sanchez-Stern | | |