Publications

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