Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis

Open Webpage

Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu

Published: 2024, Last Modified: 16 May 2025Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0