Statistics
Publications
40
Citations
2.3K
H-Index
26
Active since
2008
Zachary Tatlock is an author at University of Washington specializing in computer science, computing, and programming languages.
Publications per year
2008–2024
40
40
Verdi: a framework for implementing and formally verifying distributed systems
James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 261 citations · Full text
Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 185 citations
Automatically improving accuracy for floating point expressions
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · 2015 · 161 citations
1–5 of 40