![]() | Yingfei XiongAssociate Professor with Tenure Office: Room 1431, Science Building # 1, Peking University Pronunciation of my name: [i:ŋfei] (yingfei) [ʃiɔŋ] (xiong) |
[OOPSLA20] | Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu. Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, November 2020. [Paper] |
[FSE20] | Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie. Detecting Numerical Bugs in Neural Network Architectures. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November 2020. [Paper][Video (China)][Video (Intl)] ACM SIGSOFT Distinguished Paper Award |
[ASE20] | Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang. OCoR: An Overalpping-Aware Code Retriever. ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering, September 2020. [Paper] |
[IJCAI20] | Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang. NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, July 2020. [Paper] |
[PLDI20] | Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu. Question Selection for Interactive Program Synthesis. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2020. [Paper][Video (China)][Video (Intl)] |
[AAAI20] | Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang. TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence, January 2020. [Paper] Oral Paper |
[POPL20] | Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su. Detecting Floating-Point Errors via Atomic Conditions. POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States , January 2020. [Paper][Video (China)][Video (Intl)] |
[ASE19c] | Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang. Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper] |
[ASE19b] | Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang. History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper] ACM SIGSOFT Distinguished Paper Award |
[ASE19a] | Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang. Inferring Program Transformations From Singular Examples via Big Code. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper] |