Yingfei Xiong -

Registered user since Fri 15 Apr 2016

Name:Yingfei Xiong

Bio:

Associate Professor

Country:China

Affiliation:Peking University

Personal website:http://sei.pku.edu.cn/~xiongyf04/

Research interests:Software Engineering, Programming Languages

Contributions

SPLASH 2024	Committee Member in Review Committee within the OOPSLA 2024-track
ICSE 2024	Committee Member in Research Track within the Research Track-track
APR 2023	Author of Panel Discussion: Future of APR: Challenges and directions within the APR 2023-track
SPLASH 2023	Author of Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection within the OOPSLA-track
PLDI 2023	Committee Member in PLDI Review Committee within the PLDI Research Papers-track
ICSE 2023	Author of Tare: Type-Aware Neural Program Repair within the Technical Track-track Author of Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects within the Technical Track-track Program Committee Member in Technical Track within the Technical Track-track
SPLASH 2022	Author of Oracle-Free Repair Synthesis for Floating-Point Programs within the V-OOPSLA-track
ESEC/FSE 2022	Committee Member in Program Committee within the Research Papers-track
ASE 2022	Author of Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification within the Research Papers-track Author of Artifacts for "Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification" within the Artifact Evaluation-track
ICSE 2022	Author of Fault Localization via Efficient Probabilistic Modeling of Program Semantics within the Technical Track-track Author of Improving Machine Translation Systems via Isotopic Replacement within the Technical Track-track
ASE 2021	Author of Faster Mutation Analysis with Fewer Processes and Smaller Overheads within the Research Papers-track Author of Faster Mutation Analysis with Fewer Processes and Smaller Overheads within the Artifact Evaluation-track
SAS 2021	Author of Accelerating Program Analyses in Datalog by Merging Library Facts within the SAS-track
SPLASH 2021	Author of Generalizable Synthesis through Unification within the OOPSLA-track
MODELS 2021	Author of From State- to Delta-Based Bidirectional Model Transformations - The Symmetric Case within the Awards-track
ESEC/FSE 2021	Author of A Syntax-Guided Edit Decoder for Neural Program Repair within the Research Papers-track Author of Probabilistic Delta Debugging within the Research Papers-track Panelist of How to Write a Great FSE Review 1 within the Diversity and Inclusion Events-track Committee Member in Program Committee within the Research Papers-track Author of Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction within the Journal First-track
ICSE 2021	Committee Member in Program Committee within the Technical Track-track
ICST 2021	Author of A Large-scale Study on API Misuses in the Wild within the Research Papers-track
SPLASH 2020	Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track
ESEC/FSE 2020	Author of Detecting Numerical Bugs in Neural Network Architectures within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of How to Mitigate the Incident? An Effective Troubleshooting Guide Recommendation Technique for Online Service Systems within the Industry Papers-track Panelist of Welcome Panel #1 within the Plenary events-track Author of Scaling Static Taint Analysis to Industrial SOA Applications: A Case Study at Alibaba within the Industry Papers-track
ASE 2020	Author of OCoR: An Overlapping-Aware Code Retriever within the Research Papers-track
ICSE 2020	Session Chair of P9-Bugs and Repair (part of Paper Presentations) Programme Committee in Program Committee within the Technical Papers-track
PLDI 2020	Author of Question Selection for Interactive Program Synthesis within the PLDI Research Papers-track
POPL 2020	Author of Detecting Floating-Point Errors via Atomic Conditions within the Research Papers-track
ASE 2019	Author of History-Guided Configuration Diversification for Compiler Test-Program Generation within the Research Papers-track Committee Member in Program Committee within the Research Papers-track Author of Inferring Program Transformations From Singular Examples via Big Code within the Research Papers-track Session Chair of Program Repair (part of Papers) Author of Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study within the Research Papers-track
ISSTA 2019	Committee Member in Program Committee within the Technical Papers-track Session Chair of Program Repair (part of Technical Papers) Student Volunteer Co-Chair in Organizing Committee Author of Program Synthesis within the Summer School-track
ICSE 2019	Committee Member in Program Committee within the Technical Track-track
FASE 2019	Committee Member in Program Committee within the FASE 2019-track
ECOOP and ISSTA 2018	Author of Shaping Program Repair Space with Existing Patches and Similar Code within the Posters-track
ISSTA 2018	Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Technical Papers-track Author of An Empirical Study on TensorFlow Program Bugs within the ISSTA Technical Papers-track Author of Shaping Program Repair Space with Existing Patches and Similar Code within the ISSTA Artifacts-track
* ICSE 2018 *	Author of Identifying Features in Forks within the Technical Papers -track Author of Identifying Patch Correctness in Test-Based Program Repair within the Technical Papers -track Author of Poster T20: Guiding Developers to Make Informative Commenting Decisions in Source Code within the Posters -track
ISSTA 2017	Author of Faster Mutation Analysis via Equivalence Modulo States within the Technical Papers-track
ECOOP 2016	Author of Transforming programs between APIs with Many-to-Many Mappings within the Research Track-track
PEPM 2015	Author of SWIN: Towards Type-Safe Java Program Adaptation between APIs within the PEPM 2015-track
SPLASH 2013	Committee Member in External Review Committee within the OOPSLA-track