Pavel Panchekha

By

Share under CC-BY-SA.

Looking for PhD Students

I am hiring PhD students. Broadly, I do applied programming languages theory. My current interests are in web browsers and floating-point accuracy.

In web browsers, I am interested in both 1) dramatically speeding up browsers; and 2) adapting the browser to the application it is running. I am particularly interested in layout, styling, the DOM API, and networking. I teach a course on web browser internals, so prior experience is not important—but enthusiasm is! My research is often ultimately upstreamed into Chrome/Firefox.

In floating-point accuracy, I am interested in automatically improving accuracy and performance for both small and large numerical programs. I am particular interested in novel numeric representations, synthesizing library functions, and scaling error analysis. My research often gets upstreamed into my Herbie and FPBench tools.

If you are interested in these topics, please get in touch and apply to Utah. I am always happy to talk to potential students.