Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis

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

PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation · June 2024

Read paper View BibTeX Online Demo

BibTeX

@inproceedings{PLDI24,
  author = {Ruyi Ji and Yuwei Zhao and Nadia Polikarpova and Yingfei Xiong and Zhenjiang Hu},
  title = {Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis},
  year = {2024},
  month = {6},
  booktitle = {PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation},
  site_corr = {4},
  site_links_json = {[{"caption":{"en":"Online Demo"},"url":{"en":"http://8.140.207.65/"}}]}
}