Pavel Panchekha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ARITH | Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging. | Bhargav Kulkarni, Pavel Panchekha |
| 2025 | ASPLOS | Target-Aware Implementation of Real Expressions. | Brett Saiki, Jackson Brough, Jonas Regehr, Jess Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha |
| 2025 | ICSE | FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. | Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan |
| 2023 | ARITH | Making Interval Arithmetic Robust to Overflow. | Oliver Flatt, Pavel Panchekha |
| 2023 | UIST | Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. | Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha |
| 2022 | FMCAD | Small Proofs from Congruence Closure. | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
| 2022 | PLDI | Choosing mathematical function implementations for speed and accuracy. | Ian Briggs, Pavel Panchekha |
| 2021 | ARITH | Combining Precision Tuning and Rewriting. | Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock |
| 2020 | SC | Scalable yet rigorous floating-point error analysis. | Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha |
| 2020 | SC | Correctness-preserving Compression of Datasets and Neural Network Models. | Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang |
| 2019 | SC | Toward Multi-Precision, Multi-Format Numerics. | David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock |
| 2018 | FM | Combining Tools for Optimization and Analysis of Floating-Point Computations. | Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock |
| 2018 | PLDI | Verifying that web pages have accessible layout. | Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil |
| 2018 | PLDI | Finding root causes of floating point error. | Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
| 2016 | CAV | Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. | Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock |
| 2016 | OOPSLA | Automated reasoning for web page layout. | Pavel Panchekha, Emina Torlak |
| 2015 | PLDI | Automatically improving accuracy for floating point expressions. | Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |
| 2015 | PLDI | Verdi: a framework for implementing and formally verifying distributed systems. | James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson |
| 2014 | PLDI | Expressing and verifying probabilistic assertions. | Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze |
| 2013 | WADS | Blame Trees. | Erik D. Demaine, Pavel Panchekha, David A. Wilson, Edward Z. Yang |