Zachary Tatlock

Zachary Tatlock
Associate Professor
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:

Check out our projects, publications, and talks for more!

Recent News

PLSE at Allen School Colloquium

In October 2020, UW PLSE students led the Allen School Colloquium. Check out Max talking about our work on egg and Chandrakana showing off Szalinski’s ability to decompile 3D CAD designs to parameterized programs 🤩

egg e-graphs Website

Max pushed a new website for egg in September 2020. Check out the egg tutorial, use e-graphs to advance the state of the art in your domain, and get your project added to the growing list of pioneering users 🐣

madPL 2020

NSV 2020

Pavel and I gave an invited talk Towards Numerical Assistants on Herbie and FPBench at NSV in July 2020 (paper).

PLDI 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 👏

FPTalks 2020

In June 2020, Pavel and I organized FPTalks, an FPBench event for folks from across the floating point research community to come together and share their research and tools 🛠

ADA DTR 2020

Steven wrote, directed, and starred in a demo with the crew on Dynamic Tensor Rematerialization for the ADA Annual Symposium in May 2020 🕺

More News

  1. My colleague Dan Grossman characterizes this combination of formalism and empiricism as “both Greek and graphs”.  ↩︎