Pavel Panchekha

49 papers A* 7A 2B 3C 3Journal 25Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Incremental Live Programming via Shortcut Memoization.
CoRR
Marisa Kirisame, Thomas Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
2026 J jnl
Numerical Superoptimization for Library Learning.
CoRR
Jonas Regehr, Mitch Briles, Zachary Tatlock, Pavel Panchekha
2026 J jnl
Semantics for 2D Rasterization.
CoRR
Bhargav Kulkarni, Henry Whiting, Pavel Panchekha
2025 — conf
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis.
STATIC
Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan
2025 J jnl
Incremental Bidirectional Typing via Order Maintenance.
CoRR
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025 J jnl
Incremental Bidirectional Typing via Order Maintenance.
Proc. ACM Program. Lang.
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
2025 C conf
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging.
ARITH
Bhargav Kulkarni, Pavel Panchekha
2025 J jnl
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging.
CoRR
Bhargav Kulkarni, Pavel Panchekha
2025 J jnl
Spineless Traversal for Layout Invalidation.
Proc. ACM Program. Lang.
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
2025 — conf
Target-Aware Implementation of Real Expressions.
ASPLOS (1)
Brett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha
2024 J jnl
Fast Real Evaluation Through Sound Mixed-Precision Tuning.
CoRR
Artem Yadrov, Pavel Panchekha
2024 J jnl
Implementation and Synthesis of Math Library Functions.
Proc. ACM Program. Lang.
Ian Briggs, Yash Lad, Pavel Panchekha
2024 J jnl
Spineless Traversal for Layout Invalidation.
CoRR
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
2024 J jnl
Target-Aware Implementation of Real Expressions.
CoRR
Brett Saiki, Jackson Brough, Jonas Regehr, Jesús Ponce, Varun Pradeep, Aditya Akhileshwaran, Zachary Tatlock, Pavel Panchekha
2023 J jnl
Implementation and Synthesis of Math Library Functions.
CoRR
Ian Briggs, Yash Lad, Pavel Panchekha
2023 C conf
Making Interval Arithmetic Robust to Overflow.
ARITH
Oliver Flatt, Pavel Panchekha
2023 A* conf
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.
UIST
Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
2023 J jnl
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting.
CoRR
Edward Misback, Caleb C. Chan, Brett Saiki, Eunice Jun, Zachary Tatlock, Pavel Panchekha
2022 A* conf
Choosing mathematical function implementations for speed and accuracy.
PLDI
Ian Briggs, Pavel Panchekha
2022 J jnl
Optimal Heap Limits for Reducing Browser Memory Use.
CoRR
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
2022 J jnl
Optimal heap limits for reducing browser memory use.
Proc. ACM Program. Lang.
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
2022 B conf
Small Proofs from Congruence Closure.
FMCAD
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
2022 J jnl
Small Proofs from Congruence Closure.
CoRR
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
2022 J jnl
Synthesizing Mathematical Identities with E-Graphs.
CoRR
Ian Briggs, Pavel Panchekha
2021 J jnl
An Interval Arithmetic for Robust Error Estimation.
CoRR
Oliver Flatt, Pavel Panchekha
2021 C conf
Combining Precision Tuning and Rewriting.
ARITH
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
2021 J jnl
Faster Math Functions, Soundly.
CoRR
Ian Briggs, Pavel Panchekha
2021 — conf
Guarding Numerics Amidst Rising Heterogeneity.
Correctness@SC
Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
2021 J jnl
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang.
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
2020 — conf
Correctness-preserving Compression of Datasets and Neural Network Models.
CORRECTNESS@SC
Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
2020 A conf
Scalable yet rigorous floating-point error analysis.
SC
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha
2020 — conf
Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench.
VSTTE
Pavel Panchekha, Zachary Tatlock
2020 J jnl
egg: Easy, Efficient, and Extensible E-graphs.
CoRR
Max Willsey, Yisu Remy Wang, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
2019 — —
Automated Reasoning for Web Page Layout.
Pavel Panchekha
2019 J jnl
Modular verification of web page layout.
Proc. ACM Program. Lang.
Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
2019 — conf
Toward Multi-Precision, Multi-Format Numerics.
CORRECTNESS@SC
David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock
2018 B conf
Combining Tools for Optimization and Analysis of Floating-Point Computations.
FM
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
2018 J jnl
Combining Tools for Optimization and Analysis of Floating-Point Computations.
CoRR
Heiko Becker, Pavel Panchekha, Eva Darulova, Zachary Tatlock
2018 A* conf
Finding root causes of floating point error.
PLDI
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
2018 J jnl
Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang.
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock
2018 A* conf
Verifying that web pages have accessible layout.
PLDI
Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil
2017 J jnl
Finding Root Causes of Floating Point Error with Herbgrind.
CoRR
Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock
2016 A conf
Automated reasoning for web page layout.
OOPSLA
Pavel Panchekha, Emina Torlak
2016 — conf
Generating interactive web pages from storyboards.
SIGSOFT FSE
Pavel Panchekha
2016 — conf
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.
NSV@CAV
Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock
2015 A* conf
Automatically improving accuracy for floating point expressions.
PLDI
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
2015 A* conf
Verdi: a framework for implementing and formally verifying distributed systems.
PLDI
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
2014 A* conf
Expressing and verifying probabilistic assertions.
PLDI
Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
2013 B conf
Blame Trees.
WADS
Erik D. Demaine, Pavel Panchekha, David A. Wilson, Edward Z. Yang