Publications

Kanghee Park, Xuanyu Peng, Loris D'Antoni (2024). LOUD: Synthesizing Strongest and Weakest Specifications. Preprint.

Code

Yican Sun, Xuanyu Peng, Yingfei Xiong (2023). Synthesizing Efficient Memoization Algorithms. In OOPSLA23.

PDF Cite