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年

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