Publications by Type (By year)

Journal

[CIE24]	Xin Zhang, Guancheng Wang, Yiqian Wu, Yifan Chen, Tianchi Li, Yifan Zhang, Yingfei Xiong^. Bayesian Program Analysis. Chinese Journal of Computers, Vol. 46, No. 10, April 2024. [Paper] Invited Submission*
[TSE24]	Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong^. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling*. TSE: IEEE Transactions on Software Engineering, Online First, January 2024. [Paper]
[TOPLAS24]	Ruyi Ji, Yuwei Zhao, Yingfei Xiong^, Di Wang, Lu Zhang, Zhenjiang Hu. Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms*. TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted, January 2024. [Paper]
[CJC23]	Zeyu Sun^, Jie Zhang, Yingfei Xiong, Dan Hao, Lu Zhang. An Isotopic-Replacement-Based Approach for Testing and Improving Code Generation Systems (in Chinese)*. Chinese Journal of Computers, Vol. 46, No. 10, October 2023. [Paper]
[SCIS22a]	Yingfei Xiong^#^, Yongqiang Tian^#^, Yepang Liu^#^, Shing-Chi Cheung^#^. Toward Actionable Testing of Deep Learning Models. Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30, June 2023. [Paper][DOI]
[SCIS22b]	Qingyuan Liang, Qihao Zhu, Zeyu Sun, Lu Zhang^, Wenjie Zhang, Yingfei Xiong, Guangtai Liang, Lian Yu. A survey of deep learning based text-to-SQL generation (in Chinese)*. Scientia Sinica Informationis, 52:1363-1392, August 2022.
[TOSEM22]	Yingfei Xiong, Bo Wang. L2S: a Framework for Synthesizing the Most Probable Program under a Specification. TOSEM: ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, pp 1-45, July 2022. [Paper]
[JOS20b]	Jiajun Jiang, Junjie Chen^, Yingfei Xiong. Survey of Automatic Program Repair Techniques*. Ruan Jian Xue Bao/Journal of Software (in Chinese), Accepted, December 2020.
[TOSEM20]	Xiang Gao, Bo Wang^, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction*. TOSEM: ACM Transactions on Software Engineering and Methodology, August 2020.
[JOS20]	Bo Wang, Sirui Lu, Jiajun Jiang, Yingfei Xiong^. Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques*. Ruan Jian Xue Bao/Journal of Software, 31(6):1681−1702 (in Chinese), June 2020. [Paper]
[CSUR19]	Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong^, Hongyu Zhang, Dan Hao^, Lu Zhang. A Survey of Compiler Testing. ACM Computing Surveys, September 2019. [Paper]
[SCIS19c]	Junjie Chen, Wenxiang Hu, Dan Hao^, Yingfei Xiong, Hongyu Zhang, Lu Zhang. Static Duplicate Bug Report Identification for Compilers (in Chinese)*. Science China Information Science, September 2019. [Paper][DOI]
[TR19]	Yuan Huang, Xinyu Hu, Nan Jia, Xiangping Chen^, Yingfei Xiong, Zibin Zheng. Learning Code Context Information to Predict Comment Locations*. IEEE Transactions on Reliability, Early Access, August 2019. [DOI]
[SCIS19b]	Jiajun Jiang, Yingfei Xiong^, Xin Xia. A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair*. Science China Information Sciences, Online First, August 2019. [Paper]
[SCIS19a]	Abhik Roychoudhury^#^, Yingfei Xiong^#^. Automated Program Repair: A Step towards Software Automation. Science China Information Sciences, Online First, August 2019. [Paper] Invited Submission
[TSE19]	Daming Zou, Jingjing Liang, Yingfei Xiong^, Michael Ernst, Lu Zhang. An Empirical Study of Fault Localization Families and Their Combinations*. IEEE Transactions on Software Engineering, Online First, January 2019. [Paper][DOI][Tool]
[TSE18]	Junjie Chen, Guancheng Wang, Dan Hao^, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie. Coverage Prediction for Accelerating Compiler Testing*. IEEE Transactions on Software Engineering, Online First, December 2018. [Paper][DOI]
[JOS18]	Jian Zhang^, Chao Zhang, Jifeng Xuan, Yingfei Xiong, Qianxiang Wang, Bin Liang, Lian Li, Whensheng Dou, Zhenbang Chen, Liqian Chen, Yan Cai. Recent Progress in Program Analysis (in Chinese)*. Journal of Software, October 2018.
[JOS17]	Yuan Huang, Zhiyong Liu, Xiangping Chen^, Yingfei Xiong, Xiaonan Luo. Auxiliary Method for Code Commit Comprehension Based on Core-Class Identification*. Journal of Software (in Chinese), 28(6), February 2017. [Paper]
[TSC16]	Gang Huang, Xuanzhe Liu^, Xuan Lu, Yun Ma, Ying Zhang, Yingfei Xiong. Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach*. IEEE Transactions on Services Computing, Online First, July 2016.
[JCRD16]	Yihan Wu, Gang Huang, Ying Zhang, Yingfei Xiong. A Model-Based Fault Tolerance Mechanism Development Approach for Cloud Computing. Journal of Computer Research and Development (in Chinese), Vol 53, Issue 1, June 2016.
[SciChina16]	Qing Gao, Jun Li, Yingfei Xiong^, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie. High-confidence software evolution*. Science China Information Sciences, 59:071101, June 2016. [Paper][DOI]
[TSE15]	Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki. Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619, June 2015. [Paper][DOI] Featured on the Homepage
[FCST14]	Yangyi Wu, Yiming Wu, Yingfei Xiong^. Reversible Transformation from Context-free Grammars. Journal of Frontiers of Computer Science and Technology (in Chinese), Vol. 9 (7), pages 793-802, 2015. Online First, December 2014. Invited Submission*
[JCST14b]	Tao Xie^, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao. Cooperative Software Testing and Analysis: Advances and Challenges*. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 713-723, July 2014. [DOI]
[JCST14a]	Bo Wang, Yingfei Xiong, Zhenjiang Hu^, Haiyan Zhao, Wei Zhang, Hong Mei. Interactive Inconsistency Fixing in Feature Modeling*. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 724-736, July 2014. [DOI]
[FCSC12]	Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao^, Yingfei Xiong, Wei Zhang, Hong Mei. Supporting Feature Model Refinement with Updatable View*. Frontiers of Computer Science in China, Vol 7, Issue 2, pp 257-271, April 2013. [DOI]
[SOSYM13a]	Moisés Castelo Branco^, Yingfei Xiong^, Krzysztof Czarnecki, Jochen Küster^#, Hagen Völzer^#. A Case Study on Consistency Management of Business and IT Process Models in Banking. Software and Systems Modeling, Springer. Online First, March 2013. [Paper][DOI]
[SOSYM13b]	Frank Hermann^, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki^#, Zinovy Diskin^#, Yingfei Xiong^#^. Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility. Software and Systems Modeling, Springer. Online First, January 2013. [Paper][DOI] Invited Submission
[JOT11]	Zinovy Diskin^#, Yingfei Xiong^#, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology, Volume 10, pp. 6:1-25, June 2011. [DOI] Invited Submission
[JSS10]	Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei. Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach. Journal of Systems and Software, Volume 84, Issue 5, Pages 711-723, Elsevier, May 2011. [DOI]
[SoSym11]	Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer. Online First, January 2011. [DOI] Invited Submission

International Conference - Research Track

[FM24]	Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong^. Proving Functional Program Equivalence via Directed Lemma Synthesis*. FM'24: 26th International Symposium on Formal Methods, September 2024. [Paper]
[PLDI24]	Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong^, Zhenjiang Hu. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis*. PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2024. [Paper][Online Demo]
[ICSE24]	Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong^, Lu Zhang, Shengyu Cheng. GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code*. ICSE'24: 46th International Conference on Software Engineering, April 2024. [Paper]
[OOPSLA23b]	Yican Sun, Xuanyu Peng, Yingfei Xiong^. Synthesizing Efficient Memoization Algorithms*. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper]
[OOPSLA23a]	Ruyi Ji, Chaozhe Kong, Yingfei Xiong^, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection*. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper]
[ISSRE23]	Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong^, Xin Zhang, Lu Zhang. A Probabilistic Delta Debugging Approach for Abstract Syntax Trees*. ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering, September 2023. [Paper]
[ASE23]	Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang^. OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability with Attribute Checking*. ASE'23: 38th IEEE/ACM International Conference on Automated Software Engineering, September 2023.
[ICSE23b]	Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie^. Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects*. ICSE'23: 45th International Conference on Software Engineering, May 2023.
[ICSE23a]	Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong^, Lu Zhang. Tare: Type-Aware Neural Program Repair*. ICSE'23: 45th International Conference on Software Engineering, May 2023. [Paper]
[OOPSLA22]	Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su. Oracle-Free Repair Synthesis for Floating-Point Programs. OOPSLA'22: the OOPSLA issue of the Proceedings of the ACM on Programming Languages (PACMPL), December 2022. [Paper]
[ASE22]	Yunfan Zhang, Ruidong Zhu, Yingfei Xiong^, Tao Xie. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification*. ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering, October 2022. [Paper]
[IJCAI22a]	Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong^, Lu Zhang. Grape: Grammar Preserving Rule Embedding*. IJCAI'22: 31st International Joint Conference on Artificial Intelligence, July 2022. [Paper]
[IJCAI22b]	Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang^. Lyra: A Benchmark for Turducken-Style Code Generation*. IJCAI'22: 31st International Joint Conference on Artificial Intelligence, July 2022. [Paper]
[ICSE22a]	Muhan Zeng^#, Yiqian Wu^#, Zhentao Ye, Yingfei Xiong^, Xin Zhang, Lu Zhang. Fault Localization via Efficient Probabilistic Modeling of Program Semantics*. ICSE'22: 44th International Conference on Software Engineering, May 2022. [Paper]
[ICSE22b]	Zeyu Sun, Jie Zhang^, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang. Improving Machine Translation Systems via Isotopic Replacement*. ICSE'22: 44th International Conference on Software Engineering, May 2022. [Paper]
[AAAI22]	Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang. Preferential Labeling for Unattributed Node Classification in GNNs. AAAI'22: 36th AAAI Conference on Artificial Intelligence, February 2022. [Paper]
[ASE21]	Bo Wang^#, Sirui Lu^#, Yingfei Xiong^, Feng Liu. Faster Mutation Analysis with Fewer Processes and Smaller Overheads*. ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering, November 2021. [Paper]
[OOPSLA21]	Ruyi Ji, Jingtao Xia, Yingfei Xiong^, Zhenjiang Hu. Generalizable Synthesis Through Unification*. OOPSLA'21: Object Oriented Programming Languages, Systems and Applications, October 2021. [Paper]
[SAS21]	Yifan Chen, Chenyang Yang, Xin Zhang^, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang. Accelerating Program Analyses in Datalog by Merging Library Facts*. SAS'21: International Static Analysis Symposium, October 2021. [Paper]
[ICSME21]	Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong^, Gang Huang. Interactive Patch Filtering as Debugging Aid. ICSME'21: 37th International Conference on Software Maintenance and Evolution, September 2021. [Paper] IEEE TCSE Distinguished Paper Award*
[FSE21b]	Qihao Zhu, Zeyu Sun, Yuanan Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong^, Lu Zhang. A Syntax-Guided Edit Decoder for Neural Program Repair. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021. [Version with Data Correction] ACM SIGSOFT Distinguished Paper Award Nominee*
[FSE21a]	Guancheng Wang^#, Ruobing Shen^#, Junjie Chen, Yingfei Xiong^, Lu Zhang. Probabilistic Delta Debugging. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021. [Paper] ACM SIGSOFT Distinguished Paper Award*
[ICST21]	Xia Li, Jiajun Jiang^, Samuel Benton, Yingfei Xiong, Lingming Zhang. A Large-scale Study on API Misuses in the Wild*. ICST'21: IEEE International Conference on Software Testing, Verification and Validation, April 2021.
[OOPSLA20]	Ruyi Ji, Yican Sun, Yingfei Xiong^, Zhenjiang Hu. Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example*. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, November 2020. [Paper][Video (China)][Video (Intl)]
[FSE20]	Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong^, Shing-Chi Cheung, Tao Xie. Detecting Numerical Bugs in Neural Network Architectures. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November 2020. [Paper][Video (China)][Video (Intl)] ACM SIGSOFT Distinguished Paper Award*
[ASE20]	Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong^, Lu Zhang. OCoR: An Overalpping-Aware Code Retriever*. ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering, September 2020. [Paper]
[IJCAI20]	Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang^. NLocalSAT: Boosting Local Search with Solution Prediction*. IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, July 2020. [Paper]
[PLDI20]	Ruyi Ji, Jingjing Liang, Yingfei Xiong^, Lu Zhang, Zhenjiang Hu. Question Selection for Interactive Program Synthesis*. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2020. [Paper][Video (China)][Video (Intl)]
[SANER20]	Zhaoxu Zhang^#, Hengcheng Zhu^#, Ming Wen, Yida Tao, Yepang Liu^, Yingfei Xiong. How Do Python Framework APIs Evolve? An Exploratory Study*. SANER'20: 27th IEEE International Conference on Software Analysis, Evolution and Reengineering, February 2020.
[AAAI20]	Zeyu Sun, Qihao Zhu, Yingfei Xiong^, Yican Sun, Lili Mou, Lu Zhang. TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence, January 2020. [Paper] Oral Paper*
[POPL20]	Daming Zou, Muhan Zeng, Yingfei Xiong^, Zhoulai Fu, Lu Zhang, Zhendong Su. Detecting Floating-Point Errors via Atomic Conditions*. POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States , January 2020. [Paper][Video (China)][Video (Intl)]
[ASE19a]	Jiajun Jiang, Luyao Ren, Yingfei Xiong^, Lingming Zhang. Inferring Program Transformations From Singular Examples via Big Code*. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper]
[ASE19b]	Junjie Chen, Guancheng Wang, Dan Hao^, Yingfei Xiong^, Hongyu Zhang, Lu Zhang. History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper] ACM SIGSOFT Distinguished Paper Award
[ASE19c]	Jiajun Jiang, Ran Wang, Yingfei Xiong^, Xiangping Chen, Lu Zhang. Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study*. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper]
[ISSRE19]	Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong^, Gang Huang. How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects*. ISSRE'19: The 30th International Symposium on Software Reliability Engineering, Berlin, Germany, October 2019. [Paper]
[AAAI19]	Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong^, Ge Li, Lu Zhang. A Grammar-Based Structural CNN Decoder for Code Generation*. AAAI'19: Thirty-Third AAAI Conference on Artificial Intelligence, January 2019. [Paper][QbitAI][AlmostHuman]
[ICSME18]	Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong^, Xiaoyin Wang, David Morgenthaler. Automatic Clone Recommendation for Refactoring Based on the Present and the Past* . ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution, September 2018. [Paper]
[ISSTA18a]	Jiajun Jiang, Yingfei Xiong^, Hongyu Zhang, Qing Gao, Xiangqun Chen. Shaping Program Repair Space with Existing Patches and Similar Code*. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper][Tool:SimFix]
[ISSTA18b]	Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong^, Lu Zhang. An Empirical Study on TensorFlow Program Bugs*. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper]
[ICSE18a]	Yingfei Xiong, Xinyuan Liu^#, Muhan Zeng^#, Lu Zhang^, Gang Huang. Identifying Patch Correctness in Test-Based Program Repair*. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper][Long Version][Slides]
[ICSE18b]	Shurui Zhou, Ştefan Stănciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wąsowski, Christian Kästner. Identifying Features in Forks. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper]
[Interwa17]	Yufeng Cheng, Meng Wang, Yingfei Xiong^, Zhengkai Wu, Yiming Wu, Lu Zhang. Un-preprocessing: Extended CPP that works with your tools. Internetware'17: 9th Asia-Pacific Symposium on Internetware, Shanghai, China, pages 21-30, September 2017. [Paper] Invited to Journal Submission*
[ESEM17]	Yuan Huang, Qiaoyang Zheng, Xiangping Chen^, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo. Mining Version Control System for Automatically Generating Commit Comment*. ESEM'17: 11th International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada, August 2017.
[ISSTA17]	Bo Wang, Yingfei Xiong^, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306, July 2017. [Paper][Slides][CoRR Version] ACM SIGSOFT Distinguished Paper Award*
[ICSE17a]	Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang^, Lu Zhang. Precise Condition Synthesis for Program Repair*. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper][Slides][Tool][Long Version][SE-China][MSR Asia][MSR Blog][QbitAI][AlmostHuman]
[ICSE17b]	Junjie Chen, Yanwei Bai, Dan Hao^#, Yingfei Xiong^#^, Hongyu Zhang^#, Bing Xie. Learning to Prioritize Test Programs for Compiler Testing*. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper]
[ESOP17]	Hao Tang, Di Wang, Yingfei Xiong^, Lingming Zhang, Xiaoyin Wang, Lu Zhang. Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization*. ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden, April 2017. [Paper][Tool]
[FSE16]	Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong^, Lu Zhang, Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors*. FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 619-630, Seatle, WA, USA, November 2016. [Paper][Artifact][SE-China]
[ECOOP16]	Chenglong Wang^#, Jiajun Jiang^#, Jun Li^#, Yingfei Xiong^, Xiangyu Luo, Lu Zhang, Zhenjiang Hu. Transforming programs between APIs with Many-to-Many Mappings*. ECOOP'16: 30th European Conference on Object-Oriented Programming, pp. 25:1-25:26, Rome, Italy, July 2016. [Paper][Tool]
[ICSE16]	Junjie Chen, Wenxiang Hu, Dan Hao^#^, Yingfei Xiong^#, Hongyu Zhang^#, Lu Zhang, Bing Xie. An Empirical Comparison of Compiler Testing Techniques*. ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA, May 2016. [Paper][Experiment Data][SE-China]
[ICST16a]	Yufeng Cheng, Meng Wang, Yingfei Xiong^, Dan Hao, Lu Zhang. Empirical Evaluation of Test Coverage for Functional Programs*. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation (the posted version corrects some data representation errors in the published version), pp. 255-265, Chicago, IL, USA, April 2016. [Corrected version][Experiment Data]
[ICST16b]	Junjie Chen, Yanwei Bai, Dan Hao^#^, Yingfei Xiong^#, Hongyu Zhang^#, Lu Zhang, Bing Xie. Test Case Prioritization for Compilers: a Text-Vector Based Approach*. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation, pp. 266-277, Chicago, IL, USA, April 2016. [Paper]
[ASE15]	Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong^, Lu Zhang, Hong Mei. Fixing Recurring Crash Bugs via Analyzing Q&A Sites*. ASE'15: 30th IEEE/ACM International Conference on Automated Software Engineering, pages 307-318, Lincoln, Nebraska, USA, November 2015. [Paper][Tool]
[ICSE15b]	Daming Zou, Ran Wang, Yingfei Xiong^, Lu Zhang, Zhendong Su, Hong Mei. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy, May 2015. [Paper][Experiment Data] ACM SIGSOFT Distinguished Paper Nominee*
[ICSE15a]	Qing Gao, Yingfei Xiong^, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei. Safe Memory-Leak Fixing for C Programs*. ICSE'15: 37th International Conference on Software Engineering, pages 459-470, Florence, Italy, May 2015. [Paper][Tool]
[Interwa14]	Yihan Wu, Hui Song, Yingfei Xiong, Zibin Zheng, Ying Zhang, Gang Huang. Model Defined Fault Tolerance in Cloud. In Internetware'14: the Sixth Asia-Pacific Symposium on Internetware, pages 116-119, Hong Kong, China, November 2014.
[ASE14]	Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie^, Lu Zhang, Hong Mei. Search-Based Inference of Polynomial Metamorphic Relations*. In ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering, pp 701-712, Vasteras, Sweden, September 2014. [Paper]
[ICSME14]	Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang, Hong Mei. Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. In ICSME'14: 30th International Conference on Software Maintenance and Evolution, pages 181-190, Victoria, Canada, September 2014. [Paper][Slides]
[SPLC13]	Bo Wang, Leonardo Passos, Yingfei Xiong^, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang. SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities*. In SPLC'13: Proceedings of 17th International Software Product Line Conference, pp. 257-271, Tokyo, Japan, August 2013. [Paper][Slides]
[FSE12]	Xiaoyin Wang, Lu Zhang^, Tao Xie, Yingfei Xiong, Hong Mei. Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis*. In FSE'12: 20th International Symposium on the Foundations of Software Engineering, pages 16:1-16:11, November 2012. [Paper][Slides]
[ICSM12]	Hui Song, Gang Huang^, Yingfei Xiong, Yanchun Sun. Inferring the Data Access from the Clients of Generic APIs*. In ICSM'12: 28th IEEE International Conference on Software Maintenance, pages 388--397, Riva del Garda, Italy, September 2012. [Paper]
[ICSE12]	Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. In ICSE'12: Proceedings of 34th International Conference on Software Engineering, pages 89-99, Zurich, Switzerland, June 2012. [Paper][Slides][Teaser Video (Download)][Teaser Video (Online)]
[MODELS11a]	Zinovy Diskin^#, Yingfei Xiong^#, Krzysztof Czarnecki, Hartmut Ehrig^#, Frank Hermann^#, Fernando Orejas^#. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 304-318, October 2011. [Paper] MODELS Most Influential Paper
[MODELS11b]	Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki^#, Zinovy Diskin^#, Yingfei Xiong^#. Correctness of Model Synchronization Based on Triple Graph Grammars. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 668-682, October 2011. [Paper] Invited to Journal Submission
[MODELS10a]	Hui Song, Gang Huang, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei. Inferring Meta-Models for Runtime System Data from the Clients of Management APIs. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part II, 168-182, October 2010. [Paper]
[MODELS10b]	Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei. A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part I, 181-195, October 2010. [Paper][Slides]
[ICMT10]	Zinovy Diskin^#, Yingfei Xiong^#, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations. In ICMT'10: Proceedings of the 3rd International Conference on Model Transformation, pages 61-76, June 2010. [Paper][Slides] Invited to Journal Submission
[FSE09]	Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Supporting Automatic Model Inconsistency Fixing. In ESEC/FSE'09: Proceedings of 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 315-324, August 2009. [Paper][Slides][Bib]
[ICMT09]	Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Supporting Parallel Updates with Bidirectional Model Transformations. In ICMT'09: Proceedings of the Second International Conference on Model Transformation, ETH Zurich, Switzerland, pages 213-228, June 2009. [Paper][Slides][Bib] Invited to Journal Submission
[ASE07]	Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei. Towards Automatic Model Synchronization from Model Transformations. In ASE'07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, pages 164-173, November 2007. [Paper][Slides][Bib]

International Conference - Other Track

[FSE24DEMO]	Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong^. ASAC: A Benchmark for Algorithm Synthesis*. FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track, September 2024. [Paper]
[ASE23Demo]	Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong^. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems*. ASE'23-Demo: 38th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, September 2023. [Paper][Tool]
[FSE20-ITb]	Jiajun Jiang, Weihai Lu, Junjie Chen, Qingwei Lin, Pu Zhao, Yu Kang, Hongyu Zhang, Yingfei Xiong, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang. How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Industrial Track, September 2020.
[FSE20-ITa]	Jie Wang, Yunguang Wu, Gang Zhou, Yiming Yu, Zhenyu Guo, Yingfei Xiong. Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Industrial Track, September 2020.
[FSE15-NIER]	Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan. Inner Oracles: Input-Specific Assertions on Internal States. ESEC/FSE'15-NIER: New Idea Track at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 902-905, Bergamo, Italy, August 2015. [Paper][Slides][Tool]
[ICWS13]	Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang. How Does Web Service API Evolution Affect Clients?. In ICWS'13: Proceedings of IEEE 20th International Conference on Web Service (Application & Experience Track), pp 300-307, Santa Clara, CA, USA, June 2013. [Paper]

Domestic Conference

[NASAC14]	Yangyi Wu, Yiming Wu, Yingfei Xiong^. Reversible Computation from Context-Free Grammars. 13th National Software Application Conference (in Chinese), Guilin, China, November 2014. [Paper] Invited to Journal Submission*
[SES09]	Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Beanbag: A Language for Automatic Model Inconsistency Fixing. In SES'09: Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009, Poster Paper, pp 189, September 2009. [Paper][Poster]
[JSSST08]	Yingfei Xiong, Zhenjiang Hu, Hui Song, Masato Takeichi, Haiyan Zhao, Hong Mei. On-Site Synchronizers for Multi-View Applications. In JSSST'08: Proceedings of the 25th JSSST Conference, No. 3C-2, Tokyo, Japan, September 2008. [Paper][Slides]
[JSSST07]	Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong. Bi-X Core: A General-Purpose Bidirectional Transformation Language. In JSSST'07: Proceedings of the 24th JSSST Conference, No. 2C-3, Nara, Japan, September 2007. [Paper][Bib]
[ISPJ07]	Yingfei Xiong, Zhenjiang Hu, Dongxi Liu, Haiyan Zhao, Hong Mei, Masato Takeichi. Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations. In ISPJ'07: Proceedings of the Information Processing Society of Japan National Conference, No. 1B-7, Tokyo, Japan, March 2007. [Paper]

Workshop

[APR-C24]	Yuanan Xiao, Qihao Zhu, Yingfei Xiong^. The ET Program Repair Tool for Java*. APR-Comp: The first international competition for Automated Program Repair, February 2024. [Paper]
[GI18]	Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang. Learning to Synthesize. GI'18: Genetic Improvment Workshop, May 2018. [Paper]
[PEPM15]	Jun Li^#, Chenglong Wang^#, Yingfei Xiong, Zhenjiang Hu. SWIN: Towards Type-Safe Java Program Adaptation between APIs. In PEPM'15: Partial Evaluation and Program Manipulation Workshop, pages 91-102, Mumbai, India, January 2015. [Paper][Tool] Invited to Journal Submission
[MRT13]	Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang. Towards RSA-Based High Availability Configuration in Cloud. In MRT'13: 8th International Workshop on Models at Run.time, Austin, Texas, USA, September 2013. [Paper]
[VaMoS12]	Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki. A User Survey of Configuration Challenges in Linux and eCos. VaMoS'12: Sixth International Workshop on Variability Modelling of Software-intensive Systems, January 2012. [Link]
[FOSD11]	Leonardo Passos^#, Marko Novakovic^#, Yingfei Xiong, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wąsowski. A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System. FOSD'11: 3rd International Workshop on Feature-Oriented Software Development, June 2011. [Link]
[MDI10]	Zinovy Diskin^#, Yingfei Xiong^#, Krzysztof Czarnecki. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MDI'10: Proceedings of the 1st Workshop on Model Driven Interoperability, pages 42-51, October 2010. [Paper][Slides] Invited to post-proceedings
[LWI10]	Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei. Tolerating Inconsistency in Feature Models. In LWI'10: Proceedings of 3rd Workshop on Living With Inconsistency in Software Development, pages 15-20, September 2010. [Paper]
[MRT09]	Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei. Generating Synchronization Engines between Running Systems and Their Model-Based Views. In Models@run.time'09: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, page 140-154, October 2009. [Post-Proceeding Version][Proceeding Version] Invited to post-proceedings
[AWFS09]	Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. From Bidirectional Model Transformation to Model Synchronization. In AWFS'09: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pages 56-65, April 2009. [Paper]
[QoP08]	Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka. Enforcing a Security Pattern in Stakeholder Goal Models. In QoP'08: Proceedings of the 4th Workshop on Quality of Protection, co-located with CCS-2008, Alexandria VA, USA, pages 9-14, October 2008. [Paper]
[GTTSE07a]	Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi. A Bidirectional Transformation Approach towards Automatic Model Synchronization. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 359–360, July 2007. [Paper]
[GTTSE07b]	Dongxi Liu, Yingfei Xiong, Zhenjiang Hu, Masato Takeichi. Bi-CQ: A Bidirectional Code Query Language. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 348–349, July 2007.
[WAOSD04]	Yingfei Xiong, Feng Wan. CCC: An Aspect-Oriented Intermediate Language on .Net Platform. In WOSD'04: Proceedings of the International Workshop on Aspect-Oriented Software Development, pages 44-58, September 2004. [Paper][Slides]

Technical Reports

[arXiv24]	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. DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. arXiv:2401.14196, January 2024. [Paper]
[GSDTR11a]	Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. Technical Report GSDLAB-TR 2011-10-27, Generative Software Development Laboratory, University of Waterloo, October 2011. [Text]
[GSDTR11d]	Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki. Configuration Challenges in Linux and eCos: A Survey. Technical Report, GSDLAB-TR 2011-09-29, September 2011. [Text]
[GSDTR11b]	Yingfei Xiong. Configurator Semantics of the CDL Language. Technical Report GSDLAB-TR 2011-06-05, Generative Software Development Laboratory, University of Waterloo, June 2011. [Link]
[GSDTR11c]	Zinovy Diskin^#, Yingfei Xiong^#, Krzysztof Czarnecki, Hartmut Ehrig^#, Frank Hermann^#, Fernando Orejas^#. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. Technical Report GSDLAB-TR 2011-05-03, Generative Software Development Laboratory, University of Waterloo, May 2011. [Link]
[GRACETR08b]	Hui Song, Yingfei Xiong, Zhenjiang Hu, Gang Huang, Hong Mei. A Model-Driven Framework for Constructing Runtime Architecture Infrastructures. Technical Report GRACE-TR-2008-05, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, December 2008. [Paper][Bib]
[GRACETR08a]	Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Hui Song, Hong Mei. Beanbag: Operation-based Synchronization with Intra-relations. Technical Report GRACE-TR-2008-04, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, December 2008. [Paper][Bib]
[METR08]	Yingfei Xiong, Zhenjiang Hu, Masato Takeichi, Haiyan Zhao, Hong Mei. On-Site Synchronization of Software Artifacts. Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo, April 2008. [Paper]
[METR06]	Zhenjiang Hu^#, Dongxi Liu^#, Hong Mei^#, Masato Takeichi^#, Yingfei Xiong^#, Haiyan Zhao^#. A Compositional Approach to Bidirectional Model Transformation. Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo, October 2006. [Paper]

Theses

[PhDThesis]	Yingfei Xiong. A Language-based Approach to Model Synchronization in Software Engineering. Ph.D. Thesis, Department of Mathematical Informatics, University of Tokyo, September 2009. [Paper]
[BEngThesis]	Yingfei Xiong. The Design and Implementation of a Language-Independent Aspect-Oriented Extension. Bachelor Thesis, UESTC, July 2004. [Paper]

Total Number of Publications: 138