Follow
Zachary Tatlock
Title
Cited by
Cited by
Year
Verdi: A framework for formally verifying distributed system implementations
JR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ...
Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language …, 2015
317*2015
Equality saturation: a new approach to optimization
R Tate, M Stepp, Z Tatlock, S Lerner
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
2092009
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
ACM SIGPLAN Notices 50 (6), 1-11, 2015
1992015
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1762014
Proving optimizations correct using parameterized program equivalence
S Kundu, Z Tatlock, S Lerner
ACM Sigplan Notices 44 (6), 327-337, 2009
1392009
Programming and proving with distributed protocols
I Sergey, JR Wilcox, Z Tatlock
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
1072017
Planning for change in a formal verification of the Raft consensus protocol
D Woos, JR Wilcox, S Anton, Z Tatlock, MD Ernst, T Anderson
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
1062016
RoboFlow: A flow-based visual programming language for mobile manipulation tasks
S Alexandrova, Z Tatlock, M Cakmak
2015 IEEE International Conference on Robotics and Automation (ICRA), 5537-5544, 2015
992015
Establishing browser security guarantees through formal shim verification
D Jang, Z Tatlock, S Lerner
21st USENIX Security Symposium (USENIX Security 12), 113-128, 2012
852012
Relay: A new ir for machine learning frameworks
J Roesch, S Lyubomirsky, L Weber, J Pollock, M Kirisame, T Chen, ...
Proceedings of the 2nd ACM SIGPLAN international workshop on machine …, 2018
662018
Jitk: A Trustworthy {In-Kernel} Interpreter Infrastructure
X Wang, D Lazar, N Zeldovich, A Chlipala, Z Tatlock
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
632014
Scalable verification of border gateway protocol configurations with an SMT solver
K Weitz, D Woos, E Torlak, MD Ernst, A Krishnamurthy, Z Tatlock
Proceedings of the 2016 acm sigplan international conference on object …, 2016
592016
Œuf: minimizing the Coq extraction TCB
E Mullen, S Pernsteiner, JR Wilcox, Z Tatlock, D Grossman
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
472018
Verified peephole optimizations for CompCert
E Mullen, D Zuniga, Z Tatlock, D Grossman
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
472016
Toward a standard benchmark format and suite for floating-point analysis
N Damouche, M Martel, P Panchekha, C Qiu, A Sanchez-Stern, Z Tatlock
International Workshop on Numerical Software Verification, 63-77, 2016
462016
QED at large: A survey of engineering of formally verified software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
Foundations and TrendsŪ in Programming Languages 5 (2-3), 102-281, 2019
452019
Finding root causes of floating point error
A Sanchez-Stern, P Panchekha, S Lerner, Z Tatlock
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
442018
Egg: Fast and extensible equality saturation
M Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P Panchekha
arXiv preprint arXiv:2004.03082, 2020
432020
Bringing extensibility to verified compilers
Z Tatlock, S Lerner
ACM Sigplan Notices 45 (6), 111-121, 2010
422010
Synthesizing structured CAD models with equality saturation and inverse transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
402020
The system can't perform the operation now. Try again later.
Articles 1–20