Zachary Tatlock

According to our database1, Zachary Tatlock authored at least 46 papers between 2008 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
egg: Fast and extensible equality saturation.
Proc. ACM Program. Lang., 2021

2020
Dynamic Tensor Rematerialization.
CoRR, 2020

Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.
CoRR, 2020

egg: Easy, Efficient, and Extensible E-graphs.
CoRR, 2020

Enumerating Hardware-Software Splits with Program Rewriting.
CoRR, 2020

Towards Numerical Assistants - Trust, Measurement, Community, and Generality for the Numerical Workbench.
Proceedings of the Software Verification - 12th International Conference, 2020

Synthesizing structured CAD models with equality saturation and inverse transformations.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
Carpentry compiler.
ACM Trans. Graph., 2019

Modular verification of web page layout.
Proc. ACM Program. Lang., 2019

QED at Large: A Survey of Engineering of Formally Verified Software.
Found. Trends Program. Lang., 2019

Using E-Graphs for CAD Parameter Inference.
CoRR, 2019

Relay: A High-Level IR for Deep Learning.
CoRR, 2019

Toward Multi-Precision, Multi-Format Numerics.
Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

Teaching Rigorous Distributed Systems With Efficient Model Checking.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Programming and proving with distributed protocols.
Proc. ACM Program. Lang., 2018

Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang., 2018

A Graphical Interactive Debugger for Distributed Systems.
CoRR, 2018

Finding root causes of floating point error.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Relay: a new IR for machine learning frameworks.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Verifying that web pages have accessible layout.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB - (Short Paper).
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Combining Tools for Optimization and Analysis of Floating-Point Computations.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Œuf: minimizing the Coq extraction TCB.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
SpaceSearch: a library for building and verifying solver-aided tools.
Proc. ACM Program. Lang., 2017

Finding Root Causes of Floating Point Error with Herbgrind.
CoRR, 2017

Programming Language Abstractions for Modularly Verified Distributed Systems.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Programming Language Tools and Techniques for 3D Printing.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016
Verified peephole optimizations for CompCert.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Scalable verification of border gateway protocol configurations with an SMT solver.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Planning for change in a formal verification of the raft consensus protocol.
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.
Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015
Toward a Dependability Case Language and Workflow for a Radiation Therapy System.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Verdi: a framework for implementing and formally verifying distributed systems.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Automatically improving accuracy for floating point expressions.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

RoboFlow: A flow-based visual programming language for mobile manipulation tasks.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Visual Robot Programming for Generalizable Mobile Manipulation Tasks.
Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

2014
Automating formal proofs for reactive systems.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.
Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2012
Establishing Browser Security Guarantees through Formal Shim Verification.
Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2011
Equality Saturation: A New Approach to Optimization
Log. Methods Comput. Sci., 2011

2010
Bringing extensibility to verified compilers.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009
Proving optimizations correct using parameterized program equivalence.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008
Deep typechecking and refactoring.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008


  Loading...