Zachary Tatlock - Publications

OOPSLA 16 Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock. Scalable verification of border gateway protocol configurations with an smt solver. In 2016 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '16, 2016.
NSV 16 Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, and Zachary Tatlock. Toward a standard benchmark format and suite for floating-point analysis. In 2016 International Workshop on Numerical Software Verification, NSV '16, 2016.
NETPL 16 Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock. Formal semantics and automated verification for the border gateway protocol. In 2016 ACM SIGCOMM Workshop on Networking and Programming Languages, NetPL '16, 2016.
CAV 16 Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Jonathan Jacky. Investigating safety of a radiotherapy machine using system models with pluggable checkers. In 28th International Conference on Computer Aided Verification, CAV '16. LNCS, 2016.
PLDI 16 Eric Mullen, Daryl Zuniga, Zachary Tatlock, and Dan Grossman. Verified peephole optimizations for compcert. In 2016 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '16. ACM, 2016.
CPP 16 James R. Wilcox, Doug Woos, Steve Anton, Zachary Tatlock, Michael D. Ernst, and Tom Anderson. Planning for change in a formal verification of the raft consensus protocol. In Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP '16, 2016.
SNAPL 15 Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, and Xi Wang. Toward a dependability case language and workflow for a radiation therapy system. In 1st Summit on Advances in Programming Languages, SNAPL '15, 2015.
PLDI 15 Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, and Zachary Tatlock. Automatically improving accuracy for floating point expressions. In 2015 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '15. ACM, 2015.
PLDI 15 James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, and Tom Anderson. Verdi: A framework for implementing and formally verifying distributed systems. In 2015 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '15. ACM, 2015.
HRI 15 Sonya Alexandrova, Zachary Tatlock, and Maya Cakmak. Visual robot programming for generalizable mobile manipulation tasks. In Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI '15. ACM, 2015.
ICRA 15 Sonya Alexandrova, Zachary Tatlock, and Maya Cakmak. RoboFlow: A flow-based visual programming language for mobile manipulation tasks. In 2015 IEEE International Conference on Robotics and Automation, ICRA '15. IEEE, 2015.
COQPL 15 Eric Mullen, Zachary Tatlock, and Dan Grossman. Peek: A formally verified peephole optimization framework for x86. In 1st International Workshop on Coq for Programming Languages, CoqPL '15. ACM, 2015.
OSDI 14 Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, and Zachary Tatlock. Jitk: A trustworthy in-kernel interpreter infrastructure. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14. USENIX Association, 2014.
PLDI 14 Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, and Sorin Lerner. Automating formal proofs for reactive systems. In 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14. ACM, 2014.
NDSS 14 Dongseok Jang, Zachary Tatlock, and Sorin Lerner. SafeDispatch: Securing C++ virtual calls from memory corruption attacks. In 20th Annual Network and Distributed System Security Symposium, NDSS '14. The Internet Society, 2014.
SECURITY 12 Dongseok Jang, Zachary Tatlock, and Sorin Lerner. Establishing browser security guarantees through formal shim verification. In 21st USENIX Conference on Security Symposium, SECURITY '12. USENIX Association, 2012.
LMCS 11 Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner. Equality saturation: a new approach to optimization. In Logical Methods in Computer Science, LMCS '11, 2011.
PLDI 10 Zachary Tatlock and Sorin Lerner. Bringing extensibility to verified compilers. In 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '10. ACM, 2010.
PLDI 09 Sudipta Kundu, Zachary Tatlock, and Sorin Lerner. Proving optimizations correct using parameterized program equivalence. In 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '09. ACM, 2009.
POPL 09 Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner. Equality saturation: A new approach to optimization. In 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '09. ACM, 2009.
OOPSLA 08 Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, and Sorin Lerner. Deep typechecking and refactoring. In 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications, OOPSLA '08. ACM, 2008.

This file was generated by bibtex2html 1.97.