Synthesizing Efficient Memoization Algorithms. - Yican Sun; Xuanyu Peng; Yingfei Xiong 001 (Proc. ACM Program. Lang., 2023)

ASAC: A Benchmark for Algorithm Synthesis. - Zhao Zhang; Yican Sun; Ruyi Ji; Siyuan Li; Xuanyu Peng; Zhechong Huang; Sizhe Li; Tianran Zhu; Yingfei Xiong 001 (SIGSOFT FSE Companion, 2024)

A Novel Remote-Tracking Heart Rate Measurement Method Based on Stepping Motor and mm-Wave FMCW Radar. - Yaokun Hu; Xuanyu Peng; Takeshi Toda (IEICE Trans. Commun., 2024)

LOUD: Synthesizing Strongest and Weakest Specifications. - Kanghee Park; Xuanyu Peng; Loris D'Antoni (Proc. ACM Program. Lang., 2025)