Publications
2024
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence.
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.
arXiv:2401.14196, January 2024.
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
PLDI'24: 45th ACM-SIGPLAN Symposium on Programming Language Design and Implementation, Copenhagen, Denmark, June 24-28, 2024. pp.939-964.
Fusing Direct Manipulations into Functional Programs
Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu
POPL'24: 51st ACM SIGPLAN Symposium on Principles of Programming Languages, London, UK, January 17-19, 2024. pp.1211-1238.
Semantics Lifting for Syntactic Sugar
Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu
OOPSLA'24: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pasadena, California, United States, October 20-25, 2024.
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks.
Zhenyu Yan, Xin Zhang, Peng Di.
OOPSLA'24: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pasadena, California, United States, October 20-25, 2024.
Learning Abstraction Selection for Bayesian Program Analysis.
Yifan Zhang, Yuanfeng Shi, Xin Zhang.
OOPSLA'24: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pasadena, California, United States, October 20-25, 2024.
Programmable MCMC with Soundly Composed Guide Programs
Long Pham, Di Wang, Feras A. Saad, Jan Hoffmann
OOPSLA'24: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pasadena, California, United States, October 20-25, 2024.
Newtonian Program Analysis of Probabilistic Programs
Di Wang, Thomas Reps
OOPSLA'24: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pasadena, California, United States, October 20-25, 2024.
Proving Functional Program Equivalence via Directed Lemma Synthesis.
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
FM'24: 26th International Symposium on Formal Methods, September 2024.
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, Shengyu Cheng
ICSE'24: Proceedings of 46th International Conference on Software Engineering, April 2024, pp. 76:1-76:13.
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
TOPLAS: ACM Transactions on Programming Languages and Systems, Vol. 46, No. 2, February 2024, Article 8.
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling.
Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
TSE: IEEE Transactions on Software Engineering, Online First, January 2024.
贝叶斯程序分析.
张昕, 王冠成, 吴宜谦, 陈逸凡, 李天驰, 张羿凡, 熊英飞.
电子学报，第52卷第4期, 2024年4月
2023
Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023.
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023.
Synthesizing Efficient Memoization Algorithms.
Yican Sun, Xuanyu Peng, Yingfei Xiong.
OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023.
Tare: Type-Aware Neural Program Repair.
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang.
ICSE'23: 45th International Conference on Software Engineering, May 2023.
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie.
ICSE'23: 45th International Conference on Software Engineering, May 2023.
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang
ASE'23: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 11-15 September, 2023.
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems.
Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong.
ASE'23-Demo: 38th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, September 2023
A Probabilistic Delta Debugging Approach for Abstract Syntax Tree
Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang and Lu Zhang
ISSRE'23: Proceedings of 34th IEEE International Symposium on Software Reliability Engineering, October 31 – November 3, 2023, pp. 1-12.VoiceJava: A Syntax-Directed Voice Programming Language for Java
Tao Zan, Zhenjiang HuElectronics 2023.
Toward Actionable Testing of Deep Learning Models.
Yingfei Xiong, Yongqiang Tian, Yepang Liu, Shing-Chi Cheung.Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30, June 2023.
领域特定语言开发现状与展望
曹奕远，关智超，肖宇朔，赵海燕，胡振江
前瞻科技，2023, 2(1): 46-61.
2022
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.
Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie.
ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering,October 10–14, 2022.
Lyra: A Benchmark for Turducken-Style Code Generation.
Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang.
IJCAI'22: 31st International Joint Conference on Artificial Intelligence,July 2022.
Improving Machine Translation Systems via Isotopic Replacement.
Zeyu Sun, Jie Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang.
ICSE'22: 44th International Conference on Software Engineering,May 2022.
Preferential Labeling for Unattributed Node Classification in GNNs.
Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang.
AAAI'22: 36th AAAI Conference on Artificial Intelligence,February 2022.
L2S: a Framework for Synthesizing the Most Probable Program under a Specification.
Yingfei Xiong, Bo Wang.
TOSEM: ACM Transactions on Software Engineering and Methodology,Volume 31, Issue 3, pp 1-45,July 2022.
Fault Localization via Efficient Probabilistic Modeling of Program Semantics.
Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, and Lu Zhang.
Proceedings of 44th International Conference on Software Engineering (ICSE 2022),May 2022, pp. 958-969.
Grape: Grammar Preserving Rule Embedding.
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang.
IJCAI'22: 31st International Joint Conference on Artificial Intelligence,July 2022.
Oracle-Free Repair Synthesis for Floating-Point Programs.
Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su.
OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL),December 2022.
Toward Actionable Testing of Deep Learning Models.
Yingfei Xiong, Yongqiang Tian, Yepang Liu, Shing-Chi Cheung.
Science China, Information Sciences,September 2022.
HET-GMP: A Graph-based System Approach to Scaling Large Embedding Model Training.
Xupeng Miao, Yining Shi, Hailin Zhang, Xin Zhang, Xiaonan Nie, Zhi Yang, Bin Cui.
SIGMOD Conference 2022,2022，470-480.
基于深度学习的SQL生成研究综述.
梁清源, 朱琪豪, 孙泽宇, 张路, 张文杰, 熊英飞, 梁广泰, 郁莲.
《中国科学：信息科学》，52:1363-1392, 2022年8月.
A Lazy Desugaring System for Evaluating Programs with Sugars.
Ziyi Yang*, Yushuo Xiao*, Zhichao Guan and Zhenjiang Hu.
16th International Symposium on Functional and Logic Programming (FLOPS 2022),2022-5-21至5-29.
Towards Bidirectional Live Programming for Incomplete Programs.
Xing Zhang, Zhenjiang Hu.
44th International Conference on Software Engineering (ICSE 2022),2022-5-21至5-29.
Generic recursive lens combinators and their calculation laws.
Ruifeng Xie, Zhenjiang Hu.
Theoretical Computer Science, Volumn 913, 20 April 2022, pp 113–137.
2021
Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong.
ACM Transactions on Software Engineering and Methodology, Volume 30, Issue 2, March 2021, Article No.: 14, pp 1–27.
Faster Mutation Analysis with Fewer Processes and Smaller Overheads.
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu.
ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering, November 2021.
Generalizable Synthesis Through Unification.
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu.
OOPSLA'21: Object Oriented Programming Languages, Systems and Applications, October 2021.
Interactive Patch Filtering as Debugging Aid.
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang.
ICSME'21: 37th International Conference on Software Maintenance and Evolution, September 2021.
A Syntax-Guided Edit Decoder for Neural Program Repair.
作者：Qihao Zhu, Zeyu Sun, Yuanan Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang.
ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021.
Probabilistic Delta Debugging.
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang.
ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021.
Analytical Differential Calculus with Integration.
Han Xu, Zhenjiang Hu.
International Colloquium on Automata, Languages and Programming 2021 (ICALP 2021), online virtual, July 12-16, 2021.
软件缺陷自动修复技术综述.
姜佳君, 陈俊洁, 熊英飞.
《软件学报》，32(9):2665-2690.
A Language for Counterfactual Generative Models.
Zenna Tavares, James Koppel, Xin Zhang, Armando Solar-Lezama
International Conference on Machine Learning (ICML’21), 2021
“Accelerating Program Analyses in Datalog by Merging Library Facts”
Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang and Lu Zhang.
Proceedings of 28th Static Analysis Symposium (SAS),October 17-22, 2021, pp. 77-101.
L2S: a Framework for Synthesizing the Most Probable Program under a Specification
Yingfei Xiong, Bo Wang
TOSEM: ACM Transactions on Software Engineering and Methodology, Online First, December 2021.
2020
Detecting Numerical Bugs in Neural Network Architectures.
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie.
ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November 2020.
Programmable View Update Strategies on Relations.
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu.
46th International Conference on Very Large Data Bases (VLDB 2020), Tokyo, Japan, August 31 - September 4, 2020. pp.726-73.
NLocalSAT: Boosting Local Search with Solution Prediction.
Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang.
IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, July 2020.
基于动态分析的软件不变量综合技术.
王博, 卢思睿, 姜佳君, 熊英飞.
软件学报, 31(6):1681−1702, 2020年6月.
Question Selection for Interactive Program Synthesis.
Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu.
PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2020.
How Do Python Framework APIs Evolve? An Exploratory Study.
Zhaoxu Zhang, Hengcheng Zhu, Ming Wen, Yida Tao, Yepang Liu, Yingfei Xiong.
SANER'20: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, February 2020.
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.
Kanae Tsushima, Bach Nguyen Trong, Robert Gluck and Zhenjiang Hu.
15th International Symposium on Functional and Logic Programming (FLOPS 2020), Japan, 2020.
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence.
Yongzhe Zhang, Ariful Azad, Zhenjiang Hu.
SIAM Conference on Parallel Processing for Scientific Computing (PP 2020), Seatle, Washington, United States, February 13-15, 2020.
TreeGen: A Tree-Based Transformer Architecture for Code Generation.
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang.
AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence, January 2020.
Detecting Floating-Point Errors via Atomic Conditions.
Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su.
POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States, January 2020.
2019
A Survey of Compiler Testing.
Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
ACM Computing Surveys, September 2019.
Static Duplicate Bug Report Identification for Compilers (in Chinese).
Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang.
Science China Information Science, September 2019.
Learning Code Context Information to Predict Comment Locations.
Yuan Huang, Xinyu Hu, Nan Jia, Xiangping Chen, Yingfei Xiong, Zibin Zheng.
IEEE Transactions on Reliability, Early Access, August 2019.
A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair.
Jiajun Jiang, Yingfei Xiong, Xin Xia.
Science China Information Sciences, Online First, August 2019.
Automated Program Repair: A Step towards Software Automation.
Abhik Roychoudhury, Yingfei Xiong.
Science China Information Sciences, Online First, August 2019.
Inferring Program Transformations From Singular Examples via Big Code.
Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang.
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States, November 2019.
History-Guided Configuration Diversification for Compiler Test-Program Generation.
Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang..
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States, November 2019.
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study.
Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang..
ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States, November 2019.
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects.
Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang.
ISSRE'19: The 30th International Symposium on Software Reliability Engineering, Berlin, Germany, October 2019..
