Publications

Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni (2026). Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers. In POPL26.

Code Arxiv

Kanghee Park, Xuanyu Peng, Loris D'Antoni (2025). LOUD: Synthesizing Strongest and Weakest Specifications. In OOPSLA25.

PDF Cite Code

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

PDF Cite