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..