Get started
Author

Zachary Tatlock

Observed names: Tatlock, Zachary, Tatlock, Zachary Lee, Zach Tatlock
Observed institutions: University of Wisconsin–Madison, University of Washington, University of California San Diego, MIT Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Stanford University
ORCID: 0000-0002-4731-0124
Observed ORCID: 0000-0002-4731-0124
OpenAlex ID: A5042187082
Verdi: a framework for implementing and formally verifying distributed systems
2015 · James R. Wilcox, Doug Woos, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 275
PDF
Equality saturation
2009 · Ross Tate, Michael Stepp, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 197
Automatically improving accuracy for floating point expressions
2015 · Pavel Panchekha, Alex Sanchez-Stern, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 169
RoboFlow: A flow-based visual programming language for mobile manipulation tasks
2015 · Sonya Alexandrova, Zachary Tatlock, et al. · Proceedings - IEEE International Conference on Robotics and Automation/Proceedings · 147
egg: Fast and Extensible Equality Saturation
2026 · Max Willsey, Chandrakana Nandi, et al. · Communications of the ACM · 132
Planning for change in a formal verification of the raft consensus protocol
2016 · Doug Woos, James R. Wilcox, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 131
PDF
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks
2014 · Dongseok Jang, Zachary Tatlock, et al. · Network and Distributed System Security Symposium · 131
Proving optimizations correct using parameterized program equivalence
2009 · Sudipta Kundu, Zachary Tatlock, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 113
Programming and proving with distributed protocols
2017 · Ilya Sergey, James R. Wilcox, et al. · Proceedings of the ACM on Programming Languages · 105
PDF
Relay: a new IR for machine learning frameworks
2018 · Jared Roesch, Steven Lyubomirsky, et al. · ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL) · 103
PDF
Automatically improving accuracy for floating point expressions
2015 · Pavel Panchekha, Alex Sanchez-Stern, et al. · ACM SIGPLAN Notices · 92
Synthesizing structured CAD models with equality saturation and inverse transformations
2020 · Chandrakana Nandi, Max Willsey, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 76
PDF
Finding root causes of floating point error
2018 · Alex Sanchez-Stern, Pavel Panchekha, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 66
Scalable verification of border gateway protocol configurations with an SMT solver
2016 · Konstantin Weitz, Doug Woos, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 66
PDF
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
2017 · Nasrine Damouche, Matthieu Martel, et al. · Lecture notes in computer science · 63
Verdi: a framework for implementing and formally verifying distributed systems
2015 · James R. Wilcox, Doug Woos, et al. · ACM SIGPLAN Notices · 61
PDF
Equality saturation
2009 · Ross Tate, Michael Stepp, et al. · ACM SIGPLAN Notices · 59
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
2015 · Xi Wang, David Lazar, et al. · 57
Functional programming for compiling and decompiling computer-aided design
2018 · Chandrakana Nandi, James R. Wilcox, et al. · Proceedings of the ACM on Programming Languages · 49
PDF
QED at Large: A Survey of Engineering of Formally Verified Software
2019 · Talia Ringer, Karl Palmskog, et al. · Foundations and Trends® in Programming Languages · 47
Equality Saturation: A New Approach to Optimization
2011 · Ross Tate, Michael Stepp, et al. · Logical Methods in Computer Science · 46
PDF
Better Together: Unifying Datalog and Equality Saturation
2023 · Yihong Zhang, Yisu Remy Wang, et al. · Proceedings of the ACM on Programming Languages · 43
PDF
Verified peephole optimizations for CompCert
2016 · Eric Mullen, Daryl Zuniga, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 42
Establishing browser security guarantees through formal shim verification
2012 · Dongseok Jang, Zachary Tatlock, et al. · 41
babble: Learning Better Abstractions with E-Graphs and Anti-unification
2023 · David Cao, Rose Kunkel, et al. · Proceedings of the ACM on Programming Languages · 38
PDF
Works count: 119
Citation count: 3,039
H-index: 31
I10-index: 52
Year
Topic
Type