Pavel Panchekha

Registered user since Sun 10 May 2015

Name:Pavel Panchekha
Bio:

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. He completed his PhD at the Paul G. Allen School for Computer Science and Engineering at the University of Washington, where he was advised by Michael D. Ernst and Zachary Tatlock. He has been awarded fellowships by the NSF, the ARCS foundation, Adobe Research, and the Wissner-Slivka foundation, and received his BS in mathematics from MIT. His paper on the Herbie numerical analysis and repair tool won the 2015 Distinguished Paper Award at PLDI. His research focuses on developing programming language techniques to meet challenges from all areas of computer science.

Country:United States
Affiliation:University of Utah
Personal website:https://pavpanchekha.com
Research interests:Program Synthesis, Verification

Contributions

SPLASH 2022 Author of Optimal Heap Limits for Reducing Browser Memory Use within the OOPSLA-track
EGRAPHS 2022 Author of Synthesizing Mathematical Identities with E-graphs within the EGRAPHS 2022-track
PLDI 2022 Author of (POPL 2021) egg: Fast and Extensible Equality Saturation within the SIGPLAN Track-track
Author of Choosing Mathematical Function Implementations for Speed and Accuracy within the PLDI-track
POPL 2022 Committee Member in Program Committee within the POPL-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Artifact Evaluation Co-Chair in Organizing Committee
PLDI 2021 Committee Member in Student Research Competition (SRC) within the SRC-track
Committee Member in Program Committee within the PLDI-track
POPL 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of egg: Fast and Extensible Equality Saturation within the POPL-track
Artifact Evaluation Co-Chair in Organizing Committee
PLDI 2020 Committee Member in SRC Committee within the Student Research Competition-track
Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2019 Author of Modular Verification of Web Page Layout within the OOPSLA-track
NPFL 2018 Author of Exact Real Arithmetic for Geometric Operations within the NPFL 2018-track
PLDI 2018 Author of Finding Root Causes of Floating Point Error within the PLDI Research Papers-track
Author of Verifying That Web Pages Have Accessible Layout within the PLDI Research Papers-track
SPLASH 2016 Author of Automated Reasoning for Web Page Layout within the OOPSLA-track
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2015 Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
Author of Automatically Improving Accuracy for Floating Point Expressions within the Research Papers-track