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
99
8
views
downloads
All versions This version
Views 9955
Downloads 80
Data volume 11.2 GB0 Bytes
Unique views 6043
Unique downloads 60

Share

Cite as