Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.

Ruyi Ji Yuwei Zhao Nadia Polikarpova Yingfei Xiong 0001 Zhenjiang Hu 0002 Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. 2024 April https://doi.org/10.5281/zenodo.10951760 Zenodo streams/repo/zenodo data/11/JiZPXH24b