Zachary Tatlock

Associate Professor, University of Washington

Joined

July 2019

Names

Zachary Tatlock

Emails

****@cs.washington.edu (Confirmed)

****@gmail.com (Confirmed)

Personal Links

Career & Education History

Associate Professor

University of Washington (washington.edu)

2019 – Present

Assistant Professor

University of Washington (washington.edu)

2013 – 2019

PhD student

University of California, San Diego (ucsd.edu)

2007 – 2014

Advisors, Relations & Conflicts

PhD Advisor

Sorin Lerner

2007 – Present

Expertise

Compilers

Present

Formal Verification

Present

Fabrication

Present

Publications

Co-Optimization of Design and Fabrication Plans for Carpentry
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
- 2022 (modified: 11 Nov 2022)
- ACM Trans. Graph. 2022
- Readers: Everyone
Relational e-matching
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
- 2022 (modified: 30 Dec 2022)
- Proc. ACM Program. Lang. 2022
- Readers: Everyone
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
- 2022 (modified: 30 Dec 2022)
- CoRR 2022
- Readers: Everyone
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact)
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
- 2022 (modified: 30 Dec 2022)
- Dagstuhl Artifacts Ser. 2022
- Readers: Everyone
Verified Compilation and Optimization of Floating-Point Programs in CakeML
Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox
- 2022 (modified: 30 Dec 2022)
- ECOOP 2022
- Readers: Everyone
Small Proofs from Congruence Closure
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
- 2022 (modified: 30 Dec 2022)
- CoRR 2022
- Readers: Everyone
Rewrite rule inference using equality saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
- 2021 (modified: 11 Nov 2022)
- Proc. ACM Program. Lang. 2021
- Readers: Everyone
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material
Haisen Zhao, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, Adriana Schulz
- 2021 (modified: 30 Dec 2022)
- CoRR 2021
- Readers: Everyone
Rewrite Rule Inference Using Equality Saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock
- 2021 (modified: 30 Dec 2022)
- CoRR 2021
- Readers: Everyone
Combining Precision Tuning and Rewriting
Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, Zachary Tatlock
- 2021 (modified: 30 Dec 2022)
- ARITH 2021
- Readers: Everyone

View all 70 publications

Co-Authors

View all 107 co-authors