Pavel Panchekha
I am Pavel Panchekha. I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.
News: Brett Saiki will present Herbie's new backend at ASPLOS'25.
News: egg (POPL'21) has been selected as a SIGPLAN Research Highlight.
News: Bhargav Kulkarni will present on numeric debugging at ARITH'25.
News: Marisa Kirisame will present faster layout invalidation at PLDI'25.
Web browsers
I research web browser internals. Past projects include:
I am writing a textbook on web browsers, which inspires a lot of these projects.
Automated numerics
I also work on automatic numerical analysis. Past projects include:
- Automatic accuracy improvement
- Synthesis via term rewriting
- Scalable static accuracy analysis
- Automatic program tuning
- Compution over the reals
- Math library implementation
I lead the FPBench and Herbie projects, where a lot of my research is deployed.
Students
I am currently advising Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Parth Rajeshbhai Desai (BS), Jesus Javier Ponce (BS), Jonas Regehr (BS).
I have previous advised or mentored Zane Enders (BS), Jackson Brough (BS), Garrett Brothers (BS), Ian Briggs (PhD), Cooper G. Coradeschi (BS), Yash Lad (MS), Pranav Shenoy (MS), Yuvaraj Chesetti (MS), Ayushi Sharma (MS), Oliver Flatt (BS), Nathan Davis (MS), Skyler Griffith (BS), William Shupe (MS), JJ Garzella (BS), David Thien (BS), Adam T. Geller (BS), Jason (Chen) Qiu (BS), Alex Sanchez-Stern (BS).