Scholar
Zachary Tatlock
Google Scholar ID: jz2Tvk4AAAAJ
University of Washington
Citations & Impact
Citations
3,390
H-index
28
i10-index
46
Publications
20
Co-authors
84
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, such as: 'Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting' (UIST 2023), 'Generate Compilers from Hardware Models!' (PLARCH 2023), 'Better Together: Unifying Datalog and Equality Saturation' (PLDI 2023), etc.
Research Experience
- Currently an Associate Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington. Leads the UW PLSE research group.
Education
- No specific educational background information provided.
Background
- Aims to help students become great computer scientists. In research, he works towards this goal with his students in the UW PLSE research group; in education, by teaching courses on programming languages and related topics. His expertise is rooted in formal verification, especially of compilers.
Miscellany
- Collaborates with students to organize various conferences and workshops, such as FPTalks 2023, EGRAPHS 2023, etc.
