Pavel Panchekha

According to our database, Pavel Panchekha authored at least 32 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Implementation and Synthesis of Math Library Functions.

Ian Briggs, Yash Lad, Pavel Panchekha

Proc. ACM Program. Lang., January, 2024

Fast Real Evaluation Through Sound Mixed-Precision Tuning.

Artem Yadrov, Pavel Panchekha

CoRR, 2024

2023

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.

Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha

Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, 2023

Making Interval Arithmetic Robust to Overflow.

Oliver Flatt, Pavel Panchekha

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2022

Optimal heap limits for reducing browser memory use.

Marisa Kirisame, Pranav Shenoy, Pavel Panchekha

Proc. ACM Program. Lang., 2022

Synthesizing Mathematical Identities with E-Graphs.

Ian Briggs, Pavel Panchekha

CoRR, 2022

Choosing mathematical function implementations for speed and accuracy.

Ian Briggs, Pavel Panchekha

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Small Proofs from Congruence Closure.

Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

egg: Fast and extensible equality saturation.

Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha

Proc. ACM Program. Lang., 2021

An Interval Arithmetic for Robust Error Estimation.

Oliver Flatt, Pavel Panchekha

CoRR, 2021

Faster Math Functions, Soundly.

Ian Briggs, Pavel Panchekha

CoRR, 2021

Guarding Numerics Amidst Rising Heterogeneity.

Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

Combining Precision Tuning and Rewriting.

Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

Proceedings of the 28th IEEE Symposium on Computer Arithmetic, 2021

2020

egg: Easy, Efficient, and Extensible E-graphs.

Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock

CoRR, 2020

Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench.

Pavel Panchekha, Zachary Tatlock

Proceedings of the Software Verification - 12th International Conference, 2020

Correctness-preserving Compression of Datasets and Neural Network Models.

Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang

Proceedings of the 4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2020

Scalable yet rigorous floating-point error analysis.

Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha

Proceedings of the International Conference for High Performance Computing, 2020

2019

Automated Reasoning for Web Page Layout.

Pavel Panchekha

PhD thesis, 2019

Modular verification of web page layout.

Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Proc. ACM Program. Lang., 2019

Toward Multi-Precision, Multi-Format Numerics.

David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

Functional programming for compiling and decompiling computer-aided design.

Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock

Proc. ACM Program. Lang., 2018

Finding root causes of floating point error.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Verifying that web pages have accessible layout.

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Combining Tools for Optimization and Analysis of Floating-Point Computations.

Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Finding Root Causes of Floating Point Error with Herbgrind.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

CoRR, 2017

2016

Generating interactive web pages from storyboards.

Pavel Panchekha

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automated reasoning for web page layout.

Pavel Panchekha, Emina Torlak

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

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

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Automatically improving accuracy for floating point expressions.

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Expressing and verifying probabilistic assertions.

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Blame Trees.

Erik D. Demaine, Pavel Panchekha, David A. Wilson, Edward Z. Yang

Proceedings of the Algorithms and Data Structures - 13th International Symposium, 2013