Pavel Panchekha

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 31

Top Topics

Interval Arithmetic

Top Venues

Proc. ACM Program. Lang.

Publications

Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. Proc. ACM Program. Lang. 8 (POPL) (2024)
Edward Misback, Caleb Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. CoRR (2023)
Oliver Flatt, Pavel Panchekha
Making Interval Arithmetic Robust to Overflow. ARITH (2023)
Ian Briggs, Yash Lad, Pavel Panchekha
Implementation and Synthesis of Math Library Functions. CoRR (2023)
Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. UIST (2023)
Ian Briggs, Pavel Panchekha
Choosing mathematical function implementations for speed and accuracy. PLDI (2022)
Ian Briggs, Pavel Panchekha
Synthesizing Mathematical Identities with E-Graphs. CoRR (2022)
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
Optimal Heap Limits for Reducing Browser Memory Use. CoRR (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. CoRR (2022)
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
Small Proofs from Congruence Closure. FMCAD (2022)
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
Optimal heap limits for reducing browser memory use. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Oliver Flatt, Pavel Panchekha
An Interval Arithmetic for Robust Error Estimation. CoRR (2021)
Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC (2021)
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
Combining Precision Tuning and Rewriting. ARITH (2021)
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
egg: Fast and extensible equality saturation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ian Briggs, Pavel Panchekha
Faster Math Functions, Soundly. CoRR (2021)
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha
Scalable yet rigorous floating-point error analysis. SC (2020)
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
egg: Easy, Efficient, and Extensible E-graphs. CoRR (2020)
Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC (2020)
Pavel Panchekha, Zachary Tatlock
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. VSTTE (2020)
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Modular verification of web page layout. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock
Toward Multi-Precision, Multi-Format Numerics. CORRECTNESS@SC (2019)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding root causes of floating point error. PLDI (2018)
Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
Verifying that web pages have accessible layout. PLDI (2018)
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
Combining Tools for Optimization and Analysis of Floating-Point Computations. FM (2018)
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
Combining Tools for Optimization and Analysis of Floating-Point Computations. CoRR (2018)
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
Finding Root Causes of Floating Point Error with Herbgrind. CoRR (2017)
Pavel Panchekha, Emina Torlak
Automated reasoning for web page layout. OOPSLA (2016)
Pavel Panchekha
Generating interactive web pages from storyboards. SIGSOFT FSE (2016)
Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. NSV@CAV (2016)
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
Automatically improving accuracy for floating point expressions. PLDI (2015)
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
Verdi: a framework for implementing and formally verifying distributed systems. PLDI (2015)
Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
Expressing and verifying probabilistic assertions. PLDI (2014)
Erik D. Demaine, Pavel Panchekha, David A. Wilson, Edward Z. Yang
Blame Trees. WADS (2013)