学术论文

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):16811702, 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..