Pavel Panchekha
I am Pavel Panchekha. I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.
Web browsers
My main research focus is web browser internals. I'm interested in formalizing browser layout, fuzzing layout correctness properties, multi-tenant garbage collection, web layout verification, selector matching, invalidation algorithms, and attribute grammars.
I am writing a textbook on web browser implementation.
Automated numerics
Another research focus is automatic numerical analysis. I work on automatic accuracy improvement, synthesis via term rewriting, sound static accuracy analysis, automatic program tuning, compution over the reals, and math library implementation.
I also lead the FPBench project and the Herbie project, where a lot of my work is deployed.
Students
I am currently advising Ian Briggs (PhD), Marisa Kirisame (PhD), Pranav Shenoy (MS), Ayushi Sharma (MS), and Oliver Flatt (BS).
I have previous advised or mentored 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).
And if you're interested, check out my side projects on better Wi-Fi bit-rate adaptation, recording and visualizing my time use, and plotting complex functions in high resolution.