Towards automatic model synchronization from model transformations. - Yingfei Xiong 001; Dongxi Liu; Zhenjiang Hu; Haiyan Zhao 001; Masato Takeichi; Hong Mei 001 (ASE, 2007)

Enforcing a security pattern in stakeholder goal models. - Yijun Yu; Haruhiko Kaiya; Hironori Washizaki; Yingfei Xiong 001; Zhenjiang Hu; Nobukazu Yoshioka (QoP, 2008)

Supporting Parallel Updates with Bidirectional Model Transformations. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (ICMT@TOOLS, 2009)

Generating Synchronization Engines between Running Systems and Their Model-Based Views. - Hui Song; Yingfei Xiong 001; Franck Chauvel; Gang Huang 001; Zhenjiang Hu; Hong Mei 001 (MoDELS (Workshops), 2009)

Supporting automatic model inconsistency fixing. - Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Hui Song; Masato Takeichi; Hong Mei 001 (ESEC/SIGSOFT FSE, 2009)

Effective collaboration and consistency management in business process modeling. - Moisés Castelo Branco; Yingfei Xiong 001; Krzysztof Czarnecki 001; Janette Wong; Alex Lau (CASCON, 2010)

From State- to Delta-Based Bidirectional Model Transformations. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (ICMT@TOOLS, 2010)

Tolerating Inconsistency in Feature Models. - Bo Wang 050; Zhenjiang Hu; Yingfei Xiong 001; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (LWI@ASE, 2010)

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (MoDELS (Workshops), 2010)

Inferring Meta-models for Runtime System Data from the Clients of Management APIs. - Hui Song; Gang Huang 001; Yingfei Xiong 001; Franck Chauvel; Yanchun Sun; Hong Mei 001 (MoDELS (2), 2010)

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (MoDELS (1), 2010)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001; Hartmut Ehrig; Frank Hermann 001; Fernando Orejas (MoDELS, 2011)

Correctness of Model Synchronization Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001 (MoDELS, 2011)

A study of non-Boolean constraints in variability models of an embedded operating system. - Leonardo Teixeira Passos; Thorsten Berger; Marko Novakovic; Krzysztof Czarnecki 001; Yingfei Xiong 001; Andrzej Wasowski (SPLC Workshops, 2011)

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. - Zinovy Diskin; Yingfei Xiong 001; Krzysztof Czarnecki 001 (J. Object Technol., 2011)

Supporting runtime software architecture: A bidirectional-transformation-based approach. - Hui Song; Gang Huang 001; Franck Chauvel; Yingfei Xiong 001; Zhenjiang Hu; Yanchun Sun; Hong Mei 001 (J. Syst. Softw., 2011)

Generating range fixes for software configuration. - Yingfei Xiong 001; Arnaud Hubaux; Steven She; Krzysztof Czarnecki 001 (ICSE, 2012)

Inferring the data access from the clients of generic APIs. - Hui Song; Gang Huang 001; Yingfei Xiong 001; Yanchun Sun (ICSM, 2012)

Automating presentation changes in dynamic web applications via collaborative hybrid analysis. - Xiaoyin Wang; Lu Zhang 023; Tao Xie 001; Yingfei Xiong 001; Hong Mei 001 (SIGSOFT FSE, 2012)

A user survey of configuration challenges in Linux and eCos. - Arnaud Hubaux; Yingfei Xiong 001; Krzysztof Czarnecki 001 (VaMoS, 2012)

How Does Web Service API Evolution Affect Clients? - Jun Li; Yingfei Xiong 001; Xuanzhe Liu; Lu Zhang 023 (ICWS, 2013)

Towards RSA-based HA configuration in Cloud. - Yihan Wu; Ying Zhang 012; Yingfei Xiong 001; Xiaodong Zhang 025; Gang Huang 001 (Models@run.time, 2013)

SmartFixer: fixing software configurations based on dynamic priorities. - Bo Wang 050; Leonardo Teixeira Passos; Yingfei Xiong 001; Krzysztof Czarnecki 001; Haiyan Zhao 001; Wei Zhang 004 (SPLC, 2013)

Supporting feature model refinement with updatable view. - Bo Wang 050; Zhenjiang Hu; Qiang Sun; Haiyan Zhao 001; Yingfei Xiong 001; Wei Zhang 004; Hong Mei 001 (Frontiers Comput. Sci., 2013)

Synchronizing concurrent model updates based on bidirectional transformation. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (Softw. Syst. Model., 2013)

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. - Chu-Pan Wong; Yingfei Xiong 001; Hongyu Zhang 002; Dan Hao 001; Lu Zhang 023; Hong Mei 001 (ICSME, 2014)

Model defined fault tolerance in cloud. - Yihan Wu; Hui Song; Yingfei Xiong 001; Zibin Zheng; Ying Zhang 012; Gang Huang 001 (Internetware, 2014)

Search-based inference of polynomial metamorphic relations. - Jie Zhang 050; Junjie Chen 003; Dan Hao 001; Yingfei Xiong 001; Bing Xie; Lu Zhang 023; Hong Mei 001 (ASE, 2014)

Interactive Inconsistency Fixing in Feature Modeling. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (J. Comput. Sci. Technol., 2014)

Cooperative Software Testing and Analysis: Advances and Challenges. - Tao Xie 001; Lu Zhang 023; Xusheng Xiao; Yingfei Xiong 001; Dan Hao 001 (J. Comput. Sci. Technol., 2014)

A case study on consistency management of business and IT process models in banking. - Moisés Castelo Branco; Yingfei Xiong 001; Krzysztof Czarnecki 001; Jochen Malte Küster; Hagen Völzer (Softw. Syst. Model., 2014)

Safe Memory-Leak Fixing for C Programs. - Qing Gao; Yingfei Xiong 001; Yaqing Mi; Lu Zhang 023; Weikun Yang; Zhaoping Zhou; Bing Xie; Hong Mei 001 (ICSE (1), 2015)

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. - Daming Zou; Ran Wang; Yingfei Xiong 001; Lu Zhang 023; Zhendong Su 001; Hong Mei 001 (ICSE (1), 2015)

Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T). - Qing Gao; Hansheng Zhang; Jie Wang 033; Yingfei Xiong 001; Lu Zhang 023; Hong Mei 001 (ASE, 2015)

SWIN: Towards Type-Safe Java Program Adaptation between APIs. - Jun Li; Chenglong Wang; Yingfei Xiong 001; Zhenjiang Hu (PEPM, 2015)

Inner oracles: input-specific assertions on internal states. - Yingfei Xiong 001; Dan Hao 001; Lu Zhang 023; Tao Zhu; Muyao Zhu; Tian Lan (ESEC/SIGSOFT FSE, 2015)

Model synchronization based on triple graph grammars: correctness, completeness and invertibility. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Krzysztof Czarnecki 001; Zinovy Diskin; Yingfei Xiong 001; Susann Gottmann; Thomas Engel 001 (Softw. Syst. Model., 2015)

Range Fixes: Interactive Error Resolution for Software Configuration. - Yingfei Xiong 001; Hansheng Zhang; Arnaud Hubaux; Steven She; Jie Wang 033; Krzysztof Czarnecki 001 (IEEE Trans. Software Eng., 2015)

Transforming Programs between APIs with Many-to-Many Mappings. - Chenglong Wang; Jiajun Jiang; Jun Li; Yingfei Xiong 001; Xiangyu Luo; Lu Zhang 023; Zhenjiang Hu (ECOOP, 2016)

An empirical comparison of compiler testing techniques. - Junjie Chen 003; Wenxiang Hu; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (ICSE, 2016)

Test Case Prioritization for Compilers: A Text-Vector Based Approach. - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (ICST, 2016)

Empirical Evaluation of Test Coverage for Functional Programs. - Yufeng Cheng; Meng Wang 002; Yingfei Xiong 001; Dan Hao 001; Lu Zhang 023 (ICST, 2016)

Detecting and fixing precision-specific operations for measuring floating-point errors. - Ran Wang; Daming Zou; Xinrui He; Yingfei Xiong 001; Lu Zhang 023; Gang Huang 001 (SIGSOFT FSE, 2016)

High-confidence software evolution. - Qing Gao; Jun Li; Yingfei Xiong 001; Dan Hao 001; Xusheng Xiao; Kunal Taneja; Lu Zhang 023; Tao Xie 001 (Sci. China Inf. Sci., 2016)

Bidirectional Transformations, (NII Shonan Meeting 2016-13). - Anthony Anjorin; Zinovy Diskin; Meng Wang 002; Yingfei Xiong 001 (NII Shonan Meet. Rep., 2016)

Mining Version Control System for Automatically Generating Commit Comment. - Yuan Huang 002; Qiaoyang Zheng; Xiangping Chen; Yingfei Xiong 001; Zhiyong Liu; Xiaonan Luo (ESEM, 2017)

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. - Hao Tang; Di Wang 017; Yingfei Xiong 001; Lingming Zhang 001; Xiaoyin Wang; Lu Zhang 023 (ESOP, 2017)

Learning to prioritize test programs for compiler testing. - Junjie Chen 003; Yanwei Bai; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Bing Xie (ICSE, 2017)

Precise condition synthesis for program repair. - Yingfei Xiong 001; Jie Wang 033; Runfa Yan; Jiachen Zhang; Shi Han; Gang Huang 001; Lu Zhang 023 (ICSE, 2017)

Un-preprocessing: Extended CPP that works with your tools. - Yufeng Cheng; Meng Wang 002; Yingfei Xiong 001; Zhengkai Wu; Yiming Wu; Lu Zhang 023 (Internetware, 2017)

Faster mutation analysis via equivalence modulo states. - Bo Wang 050; Yingfei Xiong 001; Yangqingwei Shi; Lu Zhang 023; Dan Hao 001 (ISSTA, 2017)

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J. - Jiajun Jiang; Yingfei Xiong 001 (CoRR, 2017)

Identifying Patch Correctness in Test-Based Automatic Program Repair. - Xinyuan Liu; Muhan Zeng; Yingfei Xiong 001; Lu Zhang 023; Gang Huang 001 (CoRR, 2017)

Goal Modelling for Security Problem Matching and Pattern Enforcement. - Yijun Yu; Haruhiko Kaiya; Nobukazu Yoshioka; Zhenjiang Hu; Hironori Washizaki; Yingfei Xiong 001; Amin Hosseinian Far (Int. J. Secur. Softw. Eng., 2017)

Guiding developers to make informative commenting decisions in source code. - Yuan Huang 002; Nan Jia; Qiang Zhou; Xiangping Chen; Yingfei Xiong 001; Xiaonan Luo (ICSE (Companion Volume), 2018)

Identifying patch correctness in test-based program repair. - Yingfei Xiong 001; Xinyuan Liu; Muhan Zeng; Lu Zhang 023; Gang Huang 001 (ICSE, 2018)

Learning to synthesize. - Yingfei Xiong 001; Bo Wang 050; Guirong Fu; Linfei Zang (GI@ICSE, 2018)

Identifying features in forks. - Shurui Zhou; Stefan Stanciulescu; Olaf Leßenich; Yingfei Xiong 001; Andrzej Wasowski; Christian Kästner (ICSE, 2018)

Automatic Clone Recommendation for Refactoring Based on the Present and the Past. - Ruru Yue; Zhe Gao; Na Meng 001; Yingfei Xiong 001; Xiaoyin Wang; J. David Morgenthaler (ICSME, 2018)

Shaping program repair space with existing patches and similar code. - Jiajun Jiang; Yingfei Xiong 001; Hongyu Zhang 002; Qing Gao; Xiangqun Chen (ISSTA, 2018)

An empirical study on TensorFlow program bugs. - Yuhao Zhang 005; Yifan Chen; Shing-Chi Cheung; Yingfei Xiong 001; Lu Zhang 023 (ISSTA, 2018)

A Grammar-Based Structural CNN Decoder for Code Generation. - Zeyu Sun 004; Qihao Zhu; Lili Mou; Yingfei Xiong 001; Ge Li 001; Lu Zhang 023 (AAAI, 2019)

How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects. - Jingjing Liang; Yaozong Hou; Shurui Zhou; Junjie Chen 003; Yingfei Xiong 001; Gang Huang 001 (ISSRE, 2019)

History-Guided Configuration Diversification for Compiler Test-Program Generation. - Junjie Chen 003; Guancheng Wang 001; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023 (ASE, 2019)

Inferring Program Transformations From Singular Examples via Big Code. - Jiajun Jiang; Luyao Ren; Yingfei Xiong 001; Lingming Zhang 001 (ASE, 2019)

Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. - Jiajun Jiang; Ran Wang; Yingfei Xiong 001; Xiangping Chen; Lu Zhang 023 (ASE, 2019)

A manual inspection of Defects4J bugs and its implications for automatic program repair. - Jiajun Jiang; Yingfei Xiong 001; Xin Xia 001 (Sci. China Inf. Sci., 2019)

Automated program repair: a step towards software automation. - Abhik Roychoudhury; Yingfei Xiong 001 (Sci. China Inf. Sci., 2019)

Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. - Gang Huang 001; Xuanzhe Liu; Yun Ma 002; Xuan Lu; Ying Zhang 012; Yingfei Xiong 001 (IEEE Trans. Serv. Comput., 2019)

TreeGen: A Tree-Based Transformer Architecture for Code Generation. - Zeyu Sun 004; Qihao Zhu; Yingfei Xiong 001; Yican Sun; Lili Mou; Lu Zhang 023 (AAAI, 2020)

NLocalSAT: Boosting Local Search with Solution Prediction. - Wenjie Zhang 007; Zeyu Sun 004; Qihao Zhu; Ge Li 001; Shaowei Cai 001; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2020)

OCoR: An Overlapping-Aware Code Retriever. - Qihao Zhu; Zeyu Sun 004; Xiran Liang; Yingfei Xiong 001; Lu Zhang 023 (ASE, 2020)

Question selection for interactive program synthesis. - Ruyi Ji; Jingjing Liang; Yingfei Xiong 001; Lu Zhang 023; Zhenjiang Hu (PLDI, 2020)

How to mitigate the incident? an effective troubleshooting guide recommendation technique for online service systems. - Jiajun Jiang; Weihai Lu; Junjie Chen 003; Qingwei Lin; Pu Zhao 004; Yu Kang 006; Hongyu Zhang 002; Yingfei Xiong 001; Feng Gao 022; Zhangwei Xu; Yingnong Dang; Dongmei Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Scaling static taint analysis to industrial SOA applications: a case study at Alibaba. - Jie Wang 033; Yunguang Wu; Gang Zhou; Yiming Yu; Zhenyu Guo; Yingfei Xiong 001 (ESEC/SIGSOFT FSE, 2020)

Detecting numerical bugs in neural network architectures. - Yuhao Zhang 005; Luyao Ren; Liqian Chen; Yingfei Xiong 001; Shing-Chi Cheung; Tao Xie 001 (ESEC/SIGSOFT FSE, 2020)

How Do Python Framework APIs Evolve? An Exploratory Study. - Zhaoxu Zhang; Hengcheng Zhu 001; Ming Wen 001; Yida Tao; Yepang Liu 001; Yingfei Xiong 001 (SANER, 2020)

Interactive Patch Filtering as Debugging Aid. - Jingjing Liang; Ruyi Ji; Jiajun Jiang; Yiling Lou; Yingfei Xiong 001; Gang Huang 001 (CoRR, 2020)

Guiding dynamic programing via structural probability for accelerating programming by example. - Ruyi Ji; Yican Sun; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2020)

Detecting floating-point errors via atomic conditions. - Daming Zou; Muhan Zeng; Yingfei Xiong 001; Zhoulai Fu; Lu Zhang 023; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

Learning Code Context Information to Predict Comment Locations. - Yuan Huang 002; Xinyu Hu; Nan Jia; Xiangping Chen; Yingfei Xiong 001; Zibin Zheng (IEEE Trans. Reliab., 2020)

Interactive Patch Filtering as Debugging Aid. - Jingjing Liang; Ruyi Ji; Jiajun Jiang; Shurui Zhou; Yiling Lou; Yingfei Xiong 001; Gang Huang 001 (ICSME, 2021)

A Large-scale Study on API Misuses in the Wild. - Xia Li 009; Jiajun Jiang; Samuel Benton; Yingfei Xiong 001; Lingming Zhang 001 (ICST, 2021)

Faster Mutation Analysis with Fewer Processes and Smaller Overheads. - Bo Wang 050; Sirui Lu; Yingfei Xiong 001; Feng Liu (ASE, 2021)

Accelerating Program Analyses in Datalog by Merging Library Facts. - Yifan Chen; Chenyang Yang 002; Xin Zhang 035; Yingfei Xiong 001; Hao Tang; Xiaoyin Wang; Lu Zhang 023 (SAS, 2021)

Probabilistic Delta debugging. - Guancheng Wang 001; Ruobing Shen; Junjie Chen 003; Yingfei Xiong 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2021)

A syntax-guided edit decoder for neural program repair. - Qihao Zhu; Zeyu Sun 004; Yuan-an Xiao; Wenjie Zhang 007; Kang Yuan; Yingfei Xiong 001; Lu Zhang 023 (ESEC/SIGSOFT FSE, 2021)

Dynamic Labeling for Unlabeled Graph Neural Networks. - Zeyu Sun 004; Wenjie Zhang 007; Lili Mou; Qihao Zhu; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2021)

Occam Learning Meets Synthesis Through Unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2021)

Syntax Guided Neural Program Repair. - Qihao Zhu; Zeyu Sun 004; Yuan-an Xiao; Wenjie Zhang 007; Kang Yuan; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2021)

A Survey of Compiler Testing. - Junjie Chen 003; Jibesh Patra; Michael Pradel; Yingfei Xiong 001; Hongyu Zhang 002; Dan Hao 001; Lu Zhang 023 (ACM Comput. Surv., 2021)

Generalizable synthesis through unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2021)

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. - Xiang Gao 012; Bo Wang 050; Gregory J. Duck; Ruyi Ji; Yingfei Xiong 001; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2021)

Coverage Prediction for Accelerating Compiler Testing. - Junjie Chen 003; Guancheng Wang 001; Dan Hao 001; Yingfei Xiong 001; Hongyu Zhang 002; Lu Zhang 023; Bing Xie (IEEE Trans. Software Eng., 2021)

An Empirical Study of Fault Localization Families and Their Combinations. - Daming Zou; Jingjing Liang; Yingfei Xiong 001; Michael D. Ernst; Lu Zhang 023 (IEEE Trans. Software Eng., 2021)

Generalized Equivariance and Preferential Labeling for GNN Node Classification. - Zeyu Sun 004; Wenjie Zhang 007; Lili Mou; Qihao Zhu; Yingfei Xiong 001; Lu Zhang 023 (AAAI, 2022)

Improving Machine Translation Systems via Isotopic Replacement. - Zeyu Sun 004; Jie M. Zhang; Yingfei Xiong 001; Mark Harman; Mike Papadakis; Lu Zhang 023 (ICSE, 2022)

Fault Localization via Efficient Probabilistic Modeling of Program Semantics. - Muhan Zeng; Yiqian Wu; Zhentao Ye; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ICSE, 2022)

Lyra: A Benchmark for Turducken-Style Code Generation. - Qingyuan Liang; Zeyu Sun 004; Qihao Zhu; Wenjie Zhang 007; Lian Yu; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2022)

Grape: Grammar-Preserving Rule Embedding. - Qihao Zhu; Zeyu Sun 004; Wenjie Zhang 007; Yingfei Xiong 001; Lu Zhang 023 (IJCAI, 2022)

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. - Yunfan Zhang; Ruidong Zhu; Yingfei Xiong 001; Tao Xie 001 (ASE, 2022)

Black-Box Algorithm Synthesis - Divide-and-Conquer and More. - Ruyi Ji; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2022)

Synthesizing Efficient Dynamic Programming Algorithms. - Ruyi Ji; Tianran Zhu; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2022)

Oracle-free repair synthesis for floating-point programs. - Daming Zou; Yuchen Gu; Yuanfeng Shi; Mingzhe Wang; Yingfei Xiong 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2022)

L2S: A Framework for Synthesizing the Most Probable Program under a Specification. - Yingfei Xiong 001; Bo Wang 050 (ACM Trans. Softw. Eng. Methodol., 2022)

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. - Linyi Li 001; Yuhao Zhang 005; Luyao Ren; Yingfei Xiong 001; Tao Xie 001 (ICSE, 2023)

Tare: Type-Aware Neural Program Repair. - Qihao Zhu; Zeyu Sun 004; Wenjie Zhang 007; Yingfei Xiong 001; Lu Zhang 023 (ICSE, 2023)

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. - Guancheng Wang 001; Yiqian Wu; Qihao Zhu; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ISSRE, 2023)

ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. - Yuan-an Xiao; Chenyang Yang 002; Bo Wang 050; Yingfei Xiong 001 (ASE, 2023)

OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. - Wenjie Zhang 007; Guancheng Wang 001; Junjie Chen 003; Yingfei Xiong 001; Yong Liu 030; Lu Zhang 023 (ASE, 2023)

Effective Random Test Generation for Deep Learning Compilers. - Luyao Ren; Ziheng Wang; Yingfei Xiong 001; Li Zhang; Guoyue Jiang; Tao Xie 001 (CoRR, 2023)

Artifact for OOPSLA'23: Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. - Ruyi Ji; Chaozhe Kong; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2023)

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. - Ruyi Ji; Chaozhe Kong; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2023)

Synthesizing Efficient Memoization Algorithms. - Yican Sun; Xuanyu Peng; Yingfei Xiong 001 (Proc. ACM Program. Lang., 2023)

Proving Functional Program Equivalence via Directed Lemma Synthesis. - Yican Sun; Ruyi Ji; Jian Fang; Xuanlin Jiang; Mingshuai Chen; Yingfei Xiong 001 (FM (1), 2024)

The ET Program Repair Tool for Java. - Yuan-An Xiao; Qihao Zhu; Yingfei Xiong 001 (APR, 2024)

GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. - Qihao Zhu; Qingyuan Liang; Zeyu Sun 004; Yingfei Xiong 001; Lu Zhang 023; Shengyu Cheng (ICSE, 2024)

ASAC: A Benchmark for Algorithm Synthesis. - Zhao Zhang; Yican Sun; Ruyi Ji; Siyuan Li; Xuanyu Peng; Zhechong Huang; Sizhe Li; Tianran Zhu; Yingfei Xiong 001 (SIGSOFT FSE Companion, 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 003; Wentao Zhang; Guanting Chen 002; Xiao Bi; Y. Wu; Y. K. Li; Fuli Luo; Yingfei Xiong 001; et al. (CoRR, 2024)

M2CVD: Multi-Model Collaboration for Code Vulnerability Detection. - Ziliang Wang; Ge Li 001; Jia Li 012; Meng Yan 001; Yingfei Xiong 001; Zhi Jin (CoRR, 2024)

Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection. - Ziliang Wang; Ge Li 001; Jia Li 012; Yihong Dong; Yingfei Xiong 001; Zhi Jin (CoRR, 2024)

Condor: A Code Discriminator Integrating General Semantics with Code Details. - Qingyuan Liang; Zhao Zhang; Chen Liu 041; Zeyu Sun 004; Wenjie Zhang 007; Yizhou Chen; Zixiao Zhao; Qi Luo; Wentao Wang; Yanjie Jiang; Yingfei Xiong 001; Lu Zhang 023 (CoRR, 2024)

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. - Yuan-An Xiao; Chenyang Yang 002; Bo Wang 050; Yingfei Xiong 001 (IEEE Trans. Software Eng., 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. - Ruyi Ji; Yuwei Zhao; Yingfei Xiong 001; Di Wang 017; Lu Zhang 023; Zhenjiang Hu (ACM Trans. Program. Lang. Syst., 2024)

Scoping Software Engineering for AI: The TSE Perspective. - Sebastián Uchitel; Marsha Chechik; Massimiliano Di Penta; Bram Adams; Nazareno Aguirre; Gabriele Bavota; Domenico Bianculli; Kelly Blincoe; Ana Cavalcanti 001; Yvonne Dittrich; Filomena Ferrucci; Rashina Hoda; et al. (IEEE Trans. Software Eng., 2024)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? - Qingyuan Liang; Zhao Zhang; Zeyu Sun 004; Zheng Lin; Qi Luo; Yueyi Xiao; Yizhou Chen; Yuqun Zhang; Haotian Zhang; Lu Zhang 023; Chenbin Chenbin; Yingfei Xiong 001 (ACL (Findings), 2025)

Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? - Qingyuan Liang; Zhao Zhang; Zeyu Sun 004; Zheng Lin; Qi Luo; Yueyi Xiao; Yizhou Chen; Yuqun Zhang; Haotian Zhang; Lu Zhang 023; Bin Chen; Yingfei Xiong 001 (CoRR, 2025)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates. - Yuan-An Xiao; Weixuan Wang; Dong Liu; Junwei Zhou; Shengyu Cheng; Yingfei Xiong 001 (CoRR, 2025)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. - Dimitrios Stamatios Bouras; Yihan Dai; Tairan Wang; Yingfei Xiong 001; Sergey Mechtaev (CoRR, 2025)

Validity-Preserving Delta Debugging via Generator Trace Reduction. - Luyao Ren; Xing Zhang; Ziyue Hua; Yanyan Jiang 001; Xiao He 005; Yingfei Xiong 001; Tao Xie 001 (ACM Trans. Softw. Eng. Methodol., 2025)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)

SmartFL: Semantics Based Probabilistic Fault Localization. - Yiqian Wu; Yujie Liu 005; Yi Yin; Muhan Zeng; Zhentao Ye; Xin Zhang 035; Yingfei Xiong 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2025)