Allen School (CSE) Paul G. Allen School of Computer Science & Engineering
University of Washington
My goal is to help students become great computer scientists. On the research front, I work towards this goal with my students in PLSE, SAMPL, and ADA. On the education front, I work towards this goal by teaching courses on programming languages and related topics. I am also part of the incredible team at OctoML.
My expertise is rooted in formal verification, especially of compilers. As my students develop their own research vision, we branch out across diverse domains. Our work is unified by themes of making it easier to write tricky code and figuring out how to ensure such programs are correct. We rigorously prove our results and always build real, working systems1. Some of the domains we have explored include:
I gave a talk at Wisconsin’s madPL seminar on Synthesizing Backward through the Geometry Pipeline in August 2020.
Chandrakana gave a great talk at PLDI in June 2020 on Szalinski from our paper Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations 👏