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
253*2015
File System Logging versus Clustering: A Performance Comparison.
MI Seltzer, KA Smith, H Balakrishnan, J Chang, S McMains, ...
USENIX, 249-264, 1995
2041995
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
1662009
SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
D Jang, Z Tatlock, S Lerner
NDSS, 2014
1582014
Automatically improving accuracy for floating point expressions
P Panchekha, A Sanchez-Stern, JR Wilcox, Z Tatlock
ACM SIGPLAN Notices 50 (6), 1-11, 2015
1402015
Proving optimizations correct using parameterized program equivalence
S Kundu, Z Tatlock, S Lerner
ACM Sigplan Notices 44 (6), 327-337, 2009
1172009
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
832016
Programming and proving with distributed protocols
I Sergey, JR Wilcox, Z Tatlock
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
772017
Establishing browser security guarantees through formal shim verification
D Jang, Z Tatlock, S Lerner
21st {USENIX} Security Symposium ({USENIX} Security 12), 113-128, 2012
752012
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
672015
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 …, 2014
512014
Œ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
362018
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
352016
Verified peephole optimizations for CompCert
E Mullen, D Zuniga, Z Tatlock, D Grossman
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
342016
Bringing extensibility to verified compilers
Z Tatlock, S Lerner
ACM Sigplan Notices 45 (6), 111-121, 2010
342010
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
332018
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
282016
Deep typechecking and refactoring
Z Tatlock, C Tucker, D Shuffelton, R Jhala, S Lerner
ACM Sigplan Notices 43 (10), 37-52, 2008
272008
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
242018
Programming language abstractions for modularly verified distributed systems
JR Wilcox, I Sergey, Z Tatlock
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20