Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

OOPSLA2021-AEC-Paper-94: Rewrite Rule Inference Using Equality Saturation

Nandi, Chandrakana; Willsey, Max; Zhu, Amy; Saiki, Brett; Wang, Yisu; Anderson, Adam; Schulz, Adriana; Grossman, Dan; Tatlock, Zachary

Artifact for our paper, "Rewrite Rule Inference Using Equality Saturation", accepted at OOPSLA 2021.

Files (122.5 MB)
Name Size
ruler-zenodo-2021-07-12.zip
md5:d1e586df0da6582b034bd97d1235340f 		122.5 MB Download
333
32
views
downloads
All versions This version
Views 333183
Downloads 3211
Data volume 40.9 GB1.3 GB
Unique views 250160
Unique downloads 2511
More info on how stats are collected.
Indexed in
Publication date:
July 13, 2021
DOI:
10.5281/zenodo.5094074

Zenodo DOI Badge

DOI 

10.5281/zenodo.5094074

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5094074.svg)](https://doi.org/10.5281/zenodo.5094074)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5094074.svg
   :target: https://doi.org/10.5281/zenodo.5094074

HTML 

<a href="https://doi.org/10.5281/zenodo.5094074"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5094074.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5094074.svg

Target URL 

https://doi.org/10.5281/zenodo.5094074

Keyword(s):
e-graphs, rewrite rules, equality saturation, program synthesis
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 4 10.5281/zenodo.5459312 Jul 13, 2021
Version 3 10.5281/zenodo.5425188 Jul 13, 2021
Version 2 10.5281/zenodo.5094074 Jul 13, 2021
Version 1 10.5281/zenodo.5094057 Jul 13, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5094056. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export