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 Hu

  Electronics 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年

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