
Dynamic Tensor Rematerialization
Checkpointing enables training deep learning models under restricted mem...
read it

Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference
Modern deep neural networks increasingly make use of features such as dy...
read it

egg: Fast and Extensible Egraphs
An egraph efficiently represents a congruence relation over many expres...
read it

egg: Easy, Efficient, and Extensible Egraphs
An Egraph is a data structure that can efficiently encode the congruenc...
read it

QED at Large: A Survey of Engineering of Formally Verified Software
Development of formal proofs of correctness of programs can increase act...
read it

Enumerating HardwareSoftware Splits with Program Rewriting
A core problem in hardwaresoftware codesign is in the sheer size of the...
read it

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Recent program synthesis techniques help users customize CAD models(e.g....
read it

Using EGraphs for CAD Parameter Inference
Computational fabrication is increasingly popular among endusers and ma...
read it

Relay: A HighLevel Compiler for Deep Learning
Frameworks for writing, compiling, and optimizing deep learning (DL) mod...
read it

Relay: A HighLevel IR for Deep Learning
Frameworks for writing, compiling, and optimizing deep learning (DL) mod...
read it

Relay: A New IR for Machine Learning Frameworks
Machine learning powers diverse services in industry including search, t...
read it

A Graphical Interactive Debugger for Distributed Systems
Designing and debugging distributed systems is notoriously difficult. Th...
read it

Combining Tools for Optimization and Analysis of FloatingPoint Computations
Recent renewed interest in optimizing and analyzing floatingpoint progr...
read it

Finding Root Causes of Floating Point Error with Herbgrind
Floating point arithmetic plays a central role in science, engineering, ...
read it
Zachary Tatlock
is this you? claim profile