Pavel Panchekha portrait
  • Assistant Professor, School Of Computing
201-421-4942

Publications

  • Ian Briggs & Pavel Panchekha (2024). Implementation and Synthesis of Math Library Functions. POPL. Published, 01/2024.
  • Edward Misback, Caleb Chan, Brett Saiki, Eunice Jun, Zachary Tatlock & Pavel Panchekha (2023). Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. UIST. Published, 10/2023.
  • Oliver Flatt & Pavel Panchekha (2023). Making Interval Arithmetic Robust to Overflow. ARITH. Published, 09/2023.
  • Marisa Kirisame (2022). Optimal Heap Limits for Reducing Browser Memory Use. OOPSLA 2022. Published, 12/2022.
  • Oliver Flatt (2022). Small Proofs from Congruence Closure. FMCAD 2022. Published, 10/2022.
  • Ian Briggs & Pavel Panchekha (2022). Synthesizing Mathematical Identities with E-graphs. EGRAPHS, a POPL workshop. Published, 07/2022.
  • Ian Briggs (2022). Synthesizing Mathematical Identities with E-graphs. EGRAPHS 2022. Published, 06/2022.
  • Ian Briggs (2022). Choosing Mathematical Function Implementations for Speed and Accuracy. PLDI 2022. Published, 06/2022.
  • Brett Saiki (2021). Combining Precision Tuning and Rewriting. ARITH 2021. Published, 06/2021.
  • Max Willsey, Chandrakana Nandi, Remy Wang, Oliver Flatt & Zachary Tatlock (2021). egg: Fast and Extensible Equality Saturation. ACM POPL 2021. Published, 01/2021.
  • Arnab Das, Ian Briggs, Ganesh Gopalakrishnan & Shriram Krishnamoorthy (2020). Scalable yet Rigorous Floating-Point Error Analysis . Supercomputing 2020. Published, 11/2020.
  • Pavel Panchekha, Michael Ernst, Zachary Tatlock & Shoaib Kamil (2019). Modular Verification of Web Page Layout . ACM. Published, 11/22/2019.
    https://cassius.uwplse.org/oopsla19-paper.pdf
  • David Thien, William Zorn, Pavel Panchekha & Zachary Tatlock (2019). Towards Multi-Precision, Multi-Format Numerics . IEEE. Published, 11/11/2019.
    https://sc19.supercomputing.org/proceedings/worksh...
  • Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman & Zachary Tatlock (2018). Functional programming for compiling and decompiling computer-aided design. ACM. Published, 09/15/2018.
    http://doi.acm.org/10.1145/3236794
  • Heiko Becker, Pavel Panchekha, Eva Darulova & Zachary Tatlock (2018). Combining tools for optimization and analysis of floating-point computations. Springer. Published, 07/15/2018.
    https://arxiv.org/pdf/1805.02436.pdf
  • Alex Sanchez-Stern, Pavel Panchekha, Zachary Tatlock & Sorin Lerner (2018). Finding Root Causes of Floating Point Error . ACM. Vol. 53. Published, 06/15/2018.
    https://dl.acm.org/doi/10.1145/3296979.3192411
  • Pavel Panchekha, Adam T. Geller, Michael Ernst, Zachary Tatlock & Shoaib Kamil (2018). Verifying that Web Pages have Accessible Layout . ACM. Vol. PLDI2018. Published, 06/15/2018.
    https://dl.acm.org/doi/10.1145/3192366.3192407

Research Keywords

  • SMT
  • Programming Languages
  • Layout
  • Floating-point
  • CSS
  • Browser

Presentations

  • Virtual Machines for Graphics Code. Invited Talk/Keynote, Presented, 04/2023.
  • Welcome to FPTalks 2021. Invited Talk/Keynote, Presented, 07/14/2021.
    https://fpbench.org/talks/fptalks21.html
  • Welcome, and an Introduction to FPBench . Invited Talk/Keynote, Presented, 07/06/2020.
  • Toward Numerical Assistants. Invited Talk/Keynote, Presented, 07/01/2020.
  • FPCore: Standard Format for FP Analysis Tools . Invited Talk/Keynote, Presented, 11/01/2019.
  • Verifying Web Pages . Invited Talk/Keynote, Presented, 10/06/2019.
  • Verifying Web Page Layouts. Invited Talk/Keynote, Presented, 07/15/2019.

Research Groups

  • Pranav Shenoy, Graduate Student. School of Computing. 01/01/2022 - 05/2023.
  • Ayushi Sharma, Graduate Student. School of computing. 01/01/2022 - 06/01/2022.
  • Nathan Davis, Graduate Student. 01/01/2021 - 05/2022.
  • Skyler Griffith, Undergraduate Student. 08/2020 - 06/2021.
  • Oliver Flatt, Undergraduate Student. 10/2019 - 05/2022. Awards/Scholarships/Stipends: CRA Outstanding Undergraduate Researcher (Honorable Mention) POPL 2021 Distinguished Paper.
  • William Shupe, Graduate Student. 08/01/2019 - 07/2020.

Languages

  • Russian, fluent.
  • Spanish, basic.

Software Titles

  • Herbie 2.0. This release focuses clarity, transparency, and trade-offs. Release Date: 06/30/2023.
  • Herbie 1.6. This release focuses on further integration of egg, improved reliability, and a better web interface. Release Date: 07/2022.
  • Herbie 1.5. We're pleased to announce the release of Herbie 1.5, with features like argument sorting and multiple outputs. Do try it out! Release Date: 07/09/2021. Inventors: Pavel Panchekha, Brett Saiki, Oliver Flatt, Zachary Tatlock.
  • Herbie 1.4. Herbie 1.4 adds significant speed-ups and ease of use improvements. Download and try it today! Release Date: 07/2020. Inventors: Pavel Panchekha Oliver Flatt Brett Saiki Zachary Tatlock David Thien Max Willsey.
  • FPBench 2.0. The FPCore 2.0 standard adds support for tensor data structures and composable FPCores. Release Date: 06/2020. Inventors: Pavel Panchekha Bill Zorn Zachary Tatlock.
  • FPBench 1.2. FPBench provides benchmarks, compilers, and standards for the floating-point research community. Release Date: 07/17/2019. Inventors: Pavel Panchekha; David Thien; Bill Zorn; Zachary Tatlock.
  • Cassius 3.0. The Cassius Project develops tools that understand how web pages render. Leveraging modern equation solvers, the Cassius Project hopes to develop a new class of verification, synthesis and debugging tools for web pages. Release Date: 07/2019. Inventors: Pavel Panchekha; Shoaib Kamil; Zachary Tatlock; Michael D. Ernst.
  • Herbie 1.3. Herbie automatically improves the accuracy of floating point expressions. This avoids the bugs, errors, and surprises that so often occur when working with floating point. Herbie 1.3 focuses on speed and transparency: Herbie 1.3 is nearly twice as fast as Herbie 1.2, and includes cleaner, more comprehensive HTML output. Release Date: 06/19/2019. Inventors: Pavel Panchekha; David Thien; Max Willsey; Alex Sanchez-Stern; Zachary Tatlock.