Publications

Under Review

Yuwei Zhao, Yuan-An Xiao, Qianyu Xiao, Zhao Zhang, Yingfei Xiong. SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis.

Published in arxiv, 2025

Conference

Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.

Published in PLDI, 2024

Journal

Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu. Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms.

Published in TOPLAS, 2024