Prof. Zachary Tatlock — Research Profile
University of Washington · Paul G. Allen School of Computer Science & Engineering
Graduate application deadlines
Paul G. Allen School of Computer Science & Engineering
PhD in Computer Science & Engineering
Fall 2027Application deadline
Dec 15, 2026 23:59 PST
No year on the page — check the original to confirm these dates are for this cycle.
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Zachary Tatlock at University of Washington Paul G. Allen School of Computer Science & Engineering lists Fabrication, Formal Methods, Programming Languages as their registered research area.
Research keywords
Recent papers
- Vectorizing Recurrences over SemiringsNewPreprintarXiv (Cornell University) · Nov 2
- When Double Rounding is CorrectPreprintarXiv (Cornell University) · Oct 6
- Efficient Extraction for Effectful E-graphsProceedings of the ACM on Programming Languages · Oct 1
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1Shared topic: Logic, programming, and type systems
Yufei Ding Lab
University of California, San Diego · Department of Computer Science and Engineering
Argus: Orchestrating Cross-Layer GPU Performance Measurements around Semantic RegionsPreprintarXiv (Cornell University) · Sep 11Shared topic: Parallel Computing and Optimization Techniques
Martin Rinard Lab
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
Program Analysis with Prophecy and History Variables in the Nexis CompilerPreprintarXiv (Cornell University) · Jul 25Shared topic: Logic, programming, and type systems
Other labs in this department
- Abhishek Gupta Lab
Computer Vision, Machine Learning, Robotics
- Ali Farhadi Lab
Computer Vision, Knowledge Representation & Reasoning, Machine Learning, Natural Language Processing
- Amy Zhang Lab
Human-Centered AI, Human Computer Interaction, Social Computing
- Andrea Coladangelo Lab
Quantum Computing, Cryptography
- Andres Erbsen Lab
Formal Methods, Programming Languages, Security & Privacy
- Anna R. Karlin Lab
Algorithms