Yingfei XiongAssociate Professor with Tenure Office: Room 1431, Science Building # 1, Yanyuan Campus / 447 Wende Building, Changping New Campus Pronunciation of my name: [i:ŋfei] (yingfei) [ʃiɔŋ] (xiong) |
[FSE24DEMO] | Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong*. ASAC: A Benchmark for Algorithm Synthesis. FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track, September 2024. [Paper] |
[FM24] | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong*. Proving Functional Program Equivalence via Directed Lemma Synthesis. FM'24: 26th International Symposium on Formal Methods, September 2024. [Paper] |
[PLDI24] | Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong*, Zhenjiang Hu. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2024. [Paper][Online Demo] |
[ICSE24] | Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong*, Lu Zhang, Shengyu Cheng. GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE'24: 46th International Conference on Software Engineering, April 2024. [Paper] |
[arXiv24] | Daya Guo#, Qihao Zhu#, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y.K. Li, Fuli Luo, Yingfei Xiong, Wenfeng Liang. DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. arXiv:2401.14196, January 2024. [Paper] |
[TSE24] | Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong*. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE: IEEE Transactions on Software Engineering, Online First, January 2024. [Paper] |
[TOPLAS24] | Ruyi Ji, Yuwei Zhao, Yingfei Xiong*, Di Wang, Lu Zhang, Zhenjiang Hu. Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms. TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted, January 2024. [Paper] |
[OOPSLA23b] | Yican Sun, Xuanyu Peng, Yingfei Xiong*. Synthesizing Efficient Memoization Algorithms. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper] |
[OOPSLA23a] | Ruyi Ji, Chaozhe Kong, Yingfei Xiong*, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper] |
[ISSRE23] | Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong*, Xin Zhang, Lu Zhang. A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering, September 2023. [Paper] |