Concepedia

Zachary Tatlock

ZT

Statistics

Publications

38

Citations

2.2K

H-Index

25

Active since

2008

Affiliations

University of Washington(Current)

University of California San Diego

Adobe Systems (United States)

University of Utah

UC San Diego Health System

Zachary Tatlock is an author at University of Washington specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationComputer EngineeringSoftware AnalysisVerificationAutomated ReasoningSoftware Testing

Publications per year

2008–2024

38

Publications

38

Verdi: a framework for implementing and formally verifying distributed systems

James R. Wilcox, Doug Woos, Pavel Panchekha et al. · 2015 · 260 citations · Full text

Cluster Computing, Engineering, Idealized Fault Model +20

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 176 citations

Engineering, Compiler Technology, Computer Architecture +17

Automatically improving accuracy for floating point expressions

Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox et al. · 2015 · 159 citations

Cluster Computing, Engineering, Machine Learning +20

RoboFlow: A flow-based visual programming language for mobile manipulation tasks

Sonya Alexandrova, Zachary Tatlock, Maya Çakmak · 2015 · 129 citations

Artificial Intelligence, Expressive Programs, Engineering +22

SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks

Dongseok Jang, Zachary Tatlock, Sorin Lerner · 2014 · 129 citations

1–5 of 38