Pavel Panchekha

By

Share under CC-BY-SA.

Pavel Panchekha

me-square.jpg

I am Pavel Panchekha. I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.

I am recruiting PhD students. Get in touch!

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.