Blame Trees. - Erik D. Demaine; Pavel Panchekha; David A. Wilson; Edward Z. Yang (WADS, 2013)

Expressing and verifying probabilistic assertions. - Adrian Sampson; Pavel Panchekha; Todd Mytkowicz; Kathryn S. McKinley; Dan Grossman; Luis Ceze (PLDI, 2014)

Automatically improving accuracy for floating point expressions. - Pavel Panchekha; Alex Sanchez-Stern; James R. Wilcox; Zachary Tatlock (PLDI, 2015)

Verdi: a framework for implementing and formally verifying distributed systems. - James R. Wilcox; Doug Woos; Pavel Panchekha; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Thomas E. Anderson (PLDI, 2015)

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. - Nasrine Damouche; Matthieu Martel; Pavel Panchekha; Chen Qiu; Alexander Sanchez-Stern; Zachary Tatlock (NSV@CAV, 2016)

Automated reasoning for web page layout. - Pavel Panchekha; Emina Torlak (OOPSLA, 2016)

Generating interactive web pages from storyboards. - Pavel Panchekha (SIGSOFT FSE, 2016)

Finding Root Causes of Floating Point Error with Herbgrind. - Alex Sanchez-Stern; Pavel Panchekha; Sorin Lerner; Zachary Tatlock (CoRR, 2017)

Combining Tools for Optimization and Analysis of Floating-Point Computations. - Heiko Becker; Pavel Panchekha; Eva Darulova; Zachary Tatlock (FM, 2018)

Verifying that web pages have accessible layout. - Pavel Panchekha; Adam T. Geller; Michael D. Ernst; Zachary Tatlock; Shoaib Kamil 001 (PLDI, 2018)

Finding root causes of floating point error. - Alex Sanchez-Stern; Pavel Panchekha; Sorin Lerner; Zachary Tatlock (PLDI, 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)

Toward Multi-Precision, Multi-Format Numerics. - David Thien; Bill Zorn; Pavel Panchekha; Zachary Tatlock (CORRECTNESS@SC, 2019)

Modular verification of web page layout. - Pavel Panchekha; Michael D. Ernst; Zachary Tatlock; Shoaib Kamil 001 (Proc. ACM Program. Lang., 2019)

Automated Reasoning for Web Page Layout. - Pavel Panchekha (2019)

Scalable yet rigorous floating-point error analysis. - Arnab Das; Ian Briggs; Ganesh Gopalakrishnan; Sriram Krishnamoorthy; Pavel Panchekha (SC, 2020)

Correctness-preserving Compression of Datasets and Neural Network Models. - Vinu Joseph; Nithin Chalapathi; Aditya Bhaskara; Ganesh Gopalakrishnan; Pavel Panchekha; Mu Zhang 001 (CORRECTNESS@SC, 2020)

Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench. - Pavel Panchekha; Zachary Tatlock (VSTTE, 2020)

egg: Easy, Efficient, and Extensible E-graphs. - Max Willsey; Yisu Remy Wang; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (CoRR, 2020)

Combining Precision Tuning and Rewriting. - Brett Saiki; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (ARITH, 2021)

Guarding Numerics Amidst Rising Heterogeneity. - Ganesh Gopalakrishnan; Ignacio Laguna; Ang Li 006; Pavel Panchekha; Cindy Rubio-González; Zachary Tatlock (Correctness@SC, 2021)

Faster Math Functions, Soundly. - Ian Briggs; Pavel Panchekha (CoRR, 2021)

An Interval Arithmetic for Robust Error Estimation. - Oliver Flatt; Pavel Panchekha (CoRR, 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)

Small Proofs from Congruence Closure. - Oliver Flatt; Samuel Coward; Max Willsey; Zachary Tatlock; Pavel Panchekha (FMCAD, 2022)

Choosing mathematical function implementations for speed and accuracy. - Ian Briggs; Pavel Panchekha (PLDI, 2022)

Synthesizing Mathematical Identities with E-Graphs. - Ian Briggs; Pavel Panchekha (CoRR, 2022)

Optimal heap limits for reducing browser memory use. - Marisa Kirisame; Pranav Shenoy; Pavel Panchekha (Proc. ACM Program. Lang., 2022)

Making Interval Arithmetic Robust to Overflow. - Oliver Flatt; Pavel Panchekha (ARITH, 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 (UIST, 2023)

Fast Real Evaluation Through Sound Mixed-Precision Tuning. - Artem Yadrov; Pavel Panchekha (CoRR, 2024)

Implementation and Synthesis of Math Library Functions. - Ian Briggs; Yash Lad; Pavel Panchekha (Proc. ACM Program. Lang., 2024)

Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging. - Bhargav Kulkarni; Pavel Panchekha (ARITH, 2025)

Target-Aware Implementation of Real Expressions. - Brett Saiki; Jackson Brough; Jonas Regehr; Jesús Ponce; Varun Pradeep; Aditya Akhileshwaran; Zachary Tatlock; Pavel Panchekha (ASPLOS (1), 2025)

FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. - Tanmay Tirpankar; Artem Yadrov; Pavel Panchekha; Ganesh Gopalakrishnan (STATIC, 2025)

Spineless Traversal for Layout Invalidation. - Marisa Kirisame; Tiezhi Wang; Pavel Panchekha (Proc. ACM Program. Lang., 2025)

Incremental Bidirectional Typing via Order Maintenance. - Thomas Porter; Marisa Kirisame; Ivan Wei; Pavel Panchekha; Cyrus Omar (CoRR, 2025)