Faculty Application

My research develops practical tools that help programmers analyze, verify, and improve programs. I draw upon programming languages techniques from superoptimization, satisfiability modulo theory, and proof assistants, and apply them in domains from mathematical analysis to user interface design. I have built tools that translate scientific formulas into accurate floating-point programs and I have proved that web pages are accessible to users with visual and sensorimotor disabilities.

• Research Statement
• Curriculum Vitae

My first-author papers are:

• Verifying that Web Pages have Accessible Layout
  PLDI 2018: P. Panchekha, A.T. Geller, M.D. Ernst, Z. Tatlock, S. Kamil
• Automated Reasoning for Web Page Layout
  OOPSLA 2016: P. Panchekha, E. Torlak
• Automatically Improving Accuracy for Floating Point Expressions
  PLDI 2015: P. Panchekha, A. Sanchez-Stern, J.R. Wilcox, Z. Tatlock
  Distinguished Paper

The full list of my major papers can be found in my CV.

I have a dedication to teaching and mentorship. As a graduate student, I have closely mentored four undergraduates, of whom two are now in well-ranked graduate schools and two are applying this year. I have also participated in and then administered the graduate student mentoring program. I have also helped develop new, more applied curricula for the machine learning and compilers courses that I have TAd.

• Teaching Statement
• Diversity Statement