Yingfei Xiong

Orcid: 0000-0001-8991-747X

Affiliations:

Peking University, Department of Computer Science and Technology, Beijing, China
University of Waterloo, ON, Canada (2009 - 2011)
University of Tokyo, Japan (PhD 2009)

According to our database¹, Yingfei Xiong authored at least 123 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., June, 2024

Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., March, 2024

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection.

[BibT_eX]

[DOI]

CoRR, 2024

M2CVD: Multi-Model Collaboration for Code Vulnerability Detection.

[BibT_eX]

[DOI]

CoRR, 2024

DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence.

[BibT_eX]

[DOI]

CoRR, 2024

ASAC: A Benchmark for Algorithm Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

The ET Program Repair Tool for Java.

[BibT_eX]

[DOI]

Yuan-An Xiao

Qihao Zhu

Yingfei Xiong

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

Proving Functional Program Equivalence via Directed Lemma Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Synthesizing Efficient Memoization Algorithms.

[BibT_eX]

[DOI]

Yican Sun

Xuanyu Peng

Yingfei Xiong

Proc. ACM Program. Lang., October, 2023

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., April, 2023

Effective Random Test Generation for Deep Learning Compilers.

[BibT_eX]

[DOI]

CoRR, 2023

OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Tare: Type-Aware Neural Program Repair.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

L2S: A Framework for Synthesizing the Most Probable Program under a Specification.

[BibT_eX]

[DOI]

Yingfei Xiong

Bo Wang

ACM Trans. Softw. Eng. Methodol., 2022

Oracle-free repair synthesis for floating-point programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Synthesizing Efficient Dynamic Programming Algorithms.

[BibT_eX]

[DOI]

CoRR, 2022

Black-Box Algorithm Synthesis - Divide-and-Conquer and More.

[BibT_eX]

[DOI]

Ruyi Ji

Yingfei Xiong

Zhenjiang Hu

CoRR, 2022

Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Grape: Grammar-Preserving Rule Embedding.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Lyra: A Benchmark for Turducken-Style Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Fault Localization via Efficient Probabilistic Modeling of Program Semantics.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Improving Machine Translation Systems via Isotopic Replacement.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Generalized Equivariance and Preferential Labeling for GNN Node Classification.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

An Empirical Study of Fault Localization Families and Their Combinations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Coverage Prediction for Accelerating Compiler Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

Generalizable synthesis through unification.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

A Survey of Compiler Testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2021

Syntax Guided Neural Program Repair.

[BibT_eX]

[DOI]

CoRR, 2021

Occam Learning Meets Synthesis Through Unification.

[BibT_eX]

[DOI]

CoRR, 2021

Dynamic Labeling for Unlabeled Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2021

A syntax-guided edit decoder for neural program repair.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Probabilistic Delta debugging.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Accelerating Program Analyses in Datalog by Merging Library Facts.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

Faster Mutation Analysis with Fewer Processes and Smaller Overheads.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

A Large-scale Study on API Misuses in the Wild.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Interactive Patch Filtering as Debugging Aid.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

2020

Learning Code Context Information to Predict Comment Locations.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Detecting floating-point errors via atomic conditions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Guiding dynamic programing via structural probability for accelerating programming by example.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Interactive Patch Filtering as Debugging Aid.

[BibT_eX]

[DOI]

CoRR, 2020

How Do Python Framework APIs Evolve? An Exploratory Study.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Detecting numerical bugs in neural network architectures.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Scaling static taint analysis to industrial SOA applications: a case study at Alibaba.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

How to mitigate the incident? an effective troubleshooting guide recommendation technique for online service systems.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Question selection for interactive program synthesis.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

OCoR: An Overlapping-Aware Code Retriever.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

NLocalSAT: Boosting Local Search with Solution Prediction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

TreeGen: A Tree-Based Transformer Architecture for Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2019

Automated program repair: a step towards software automation.

[BibT_eX]

[DOI]

Abhik Roychoudhury

Yingfei Xiong

Sci. China Inf. Sci., 2019

A manual inspection of Defects4J bugs and its implications for automatic program repair.

[BibT_eX]

[DOI]

Jiajun Jiang

Yingfei Xiong

Xin Xia

Sci. China Inf. Sci., 2019

Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Inferring Program Transformations From Singular Examples via Big Code.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

History-Guided Configuration Diversification for Compiler Test-Program Generation.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

A Grammar-Based Structural CNN Decoder for Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

An empirical study on TensorFlow program bugs.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Shaping program repair space with existing patches and similar code.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Automatic Clone Recommendation for Refactoring Based on the Present and the Past.

[BibT_eX]

[DOI]

J. David Morgenthaler

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Identifying features in forks.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Learning to synthesize.

[BibT_eX]

[DOI]

Proceedings of the 4th International Genetic Improvement Workshop, 2018

Identifying patch correctness in test-based program repair.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Guiding developers to make informative commenting decisions in source code.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Goal Modelling for Security Problem Matching and Pattern Enforcement.

[BibT_eX]

[DOI]

Int. J. Secur. Softw. Eng., 2017

Identifying Patch Correctness in Test-Based Automatic Program Repair.

[BibT_eX]

[DOI]

CoRR, 2017

Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J.

[BibT_eX]

[DOI]

Jiajun Jiang

Yingfei Xiong

CoRR, 2017

Faster mutation analysis via equivalence modulo states.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Un-preprocessing: Extended CPP that works with your tools.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Symposium on Internetware, 2017

Precise condition synthesis for program repair.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Learning to prioritize test programs for compiler testing.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Mining Version Control System for Automatically Generating Commit Comment.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

2016

Bidirectional Transformations, (NII Shonan Meeting 2016-13).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2016

High-confidence software evolution.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2016

Detecting and fixing precision-specific operations for measuring floating-point errors.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Empirical Evaluation of Test Coverage for Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Test Case Prioritization for Compilers: A Text-Vector Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

An empirical comparison of compiler testing techniques.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Transforming Programs between APIs with Many-to-Many Mappings.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Range Fixes: Interactive Error Resolution for Software Configuration.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Inner oracles: input-specific assertions on internal states.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SWIN: Towards Type-Safe Java Program Adaptation between APIs.

[BibT_eX]

[DOI]

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Safe Memory-Leak Fixing for C Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

A case study on consistency management of business and IT process models in banking.

[BibT_eX]

[DOI]

Moisés Castelo Branco

Softw. Syst. Model., 2014

Cooperative Software Testing and Analysis: Advances and Challenges.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2014

Interactive Inconsistency Fixing in Feature Modeling.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2014

Search-based inference of polynomial metamorphic relations.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Model defined fault tolerance in cloud.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

Synchronizing concurrent model updates based on bidirectional transformation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Supporting feature model refinement with updatable view.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

SmartFixer: fixing software configurations based on dynamic priorities.

[BibT_eX]

[DOI]

Bo Wang

Leonardo Teixeira Passos

Proceedings of the 17th International Software Product Line Conference, 2013

Towards RSA-based HA configuration in Cloud.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

How Does Web Service API Evolution Affect Clients?

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

A user survey of configuration challenges in Linux and eCos.

[BibT_eX]

[DOI]

Arnaud Hubaux

Yingfei Xiong

Krzysztof Czarnecki

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Automating presentation changes in dynamic web applications via collaborative hybrid analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Inferring the data access from the clients of generic APIs.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Generating range fixes for software configuration.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Supporting runtime software architecture: A bidirectional-transformation-based approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.

[BibT_eX]

[DOI]

Zinovy Diskin

Yingfei Xiong

Krzysztof Czarnecki

J. Object Technol., 2011

A study of non-Boolean constraints in variability models of an embedded operating system.

[BibT_eX]

[DOI]

Leonardo Teixeira Passos

Proceedings of the Software Product Lines - 15th International Conference, 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Inferring Meta-models for Runtime System Data from the Clients of Management APIs.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.

[BibT_eX]

[DOI]

Zinovy Diskin

Yingfei Xiong

Krzysztof Czarnecki

Proceedings of the Models in Software Engineering, 2010

Tolerating Inconsistency in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

From State- to Delta-Based Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Zinovy Diskin

Yingfei Xiong

Krzysztof Czarnecki

Proceedings of the Theory and Practice of Model Transformations, 2010

Effective collaboration and consistency management in business process modeling.

[BibT_eX]

[DOI]

Moisés Castelo Branco

Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009

Supporting automatic model inconsistency fixing.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Generating Synchronization Engines between Running Systems and Their Model-Based Views.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

Supporting Parallel Updates with Bidirectional Model Transformations.

[BibT_eX]