research
∙
05/17/2023
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
In recent years, researchers have proposed a number of automated tools t...
share
research
∙
05/16/2023
Generate Compilers from Hardware Models!
Compiler backends should be automatically generated from hardware design...
research
∙
04/10/2023
Better Together: Unifying Datalog and Equality Saturation
We present egglog, a fixpoint reasoning system that unifies Datalog and ...
research
∙
12/08/2022
babble: Learning Better Abstractions with E-Graphs and Anti-Unification
Library learning compresses a given corpus of programs by extracting com...
research
∙
09/07/2022
Small Proofs from Congruence Closure
Satisfiability Modulo Theory (SMT) solvers and equality saturation engin...
research
∙
03/01/2022
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
Specialized accelerators are increasingly used to meet the power-perform...
research
∙
08/23/2021
Rewrite Rule Inference Using Equality Saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules ...
research
∙
08/04/2021
Relational E-Matching
We present a new approach to e-matching based on relational join; in par...
research
∙
07/30/2021
Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
07/26/2021
Co-Optimization of Design and Fabrication Plans for Carpentry
Past work on optimizing fabrication plans given a carpentry design can p...
research
∙
05/19/2021
Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)
Tensor kernels in machine learning (ML) often correspond to pure mathema...
research
∙
06/17/2020
Dynamic Tensor Rematerialization
Checkpointing enables training deep learning models under restricted mem...
research
∙
06/04/2020
Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference
Modern deep neural networks increasingly make use of features such as dy...
research
∙
04/07/2020
egg: Fast and Extensible E-graphs
An e-graph efficiently represents a congruence relation over many expres...
research
∙
04/07/2020
egg: Easy, Efficient, and Extensible E-graphs
An E-graph is a data structure that can efficiently encode the congruenc...
research
∙
03/13/2020
QED at Large: A Survey of Engineering of Formally Verified Software
Development of formal proofs of correctness of programs can increase act...
research
∙
02/29/2020
Enumerating Hardware-Software Splits with Program Rewriting
A core problem in hardware-software codesign is in the sheer size of the...
research
∙
09/26/2019
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Recent program synthesis techniques help users customize CAD models(e.g....
research
∙
09/26/2019
Using E-Graphs for CAD Parameter Inference
Computational fabrication is increasingly popular among end-users and ma...
research
∙
04/17/2019
Relay: A High-Level Compiler for Deep Learning
Frameworks for writing, compiling, and optimizing deep learning (DL) mod...
research
∙
04/17/2019
Relay: A High-Level IR for Deep Learning
Frameworks for writing, compiling, and optimizing deep learning (DL) mod...
research
∙
09/26/2018
Relay: A New IR for Machine Learning Frameworks
Machine learning powers diverse services in industry including search, t...
research
∙
06/13/2018
A Graphical Interactive Debugger for Distributed Systems
Designing and debugging distributed systems is notoriously difficult. Th...
research
∙
05/07/2018
Combining Tools for Optimization and Analysis of Floating-Point Computations
Recent renewed interest in optimizing and analyzing floating-point progr...
research
∙
05/29/2017