"I love Zachary Tatlock"

2022-06-22 06:56:54

Zachary Tatlock News Students Publications Teaching More Projects Talks Service Collaborators Contact CV About Advice 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: CAD Tools for 3D Printing and Carpentry Automatic Numerical Accuracy Improvement Machine Learning Compilers and Runtimes Web Browser Layout Verification Radiotherapy Control Verification Distributed Systems Verification Internet Router Verification Compiler Optimization Synthesis Check out our projects, publications, and talks for more! Recent News 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 ? 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 ? I gave a talk at Wisconsin’s madPL seminar on Synthesizing Backward through the Geometry Pipeline in August 2020. Pavel and I gave an invited talk Towards Numerical Assistants on Herbie and FPBench at NSV in July 2020 (paper). 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 ? 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 ? 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 My colleague Dan Grossman characterizes this combination of formalism and empiricism as “both Greek and graphs”.  ↩︎