Yingfei Xiong

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 97

Top Venues

CoRR

ASE

ICSE

Proc. ACM Program. Lang.

Publications

Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, Shengyu Cheng
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE (2024)
Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin
Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection. CoRR (2024)
Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong
ASAC: A Benchmark for Algorithm Synthesis. SIGSOFT FSE Companion (2024)
Ziliang Wang, Ge Li, Jia Li, Meng Yan, Yingfei Xiong, Zhi Jin
M2CVD: Multi-Model Collaboration for Code Vulnerability Detection. CoRR (2024)
Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. IEEE Trans. Software Eng. 50 (3) (2024)
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong
Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR (2024)
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. CoRR (2024)
Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. CoRR (2023)
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE (2023)
Yican Sun, Xuanyu Peng, Yingfei Xiong
Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang
Tare: Type-Aware Neural Program Repair. ICSE (2023)
Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. ASE (2023)
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie
Effective Random Test Generation for Deep Learning Compilers. CoRR (2023)
Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE (2023)
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE (2023)
Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR (2023)
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. CoRR (2023)
Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang
Improving Machine Translation Systems via Isotopic Replacement. ICSE (2022)
Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang
Generalized Equivariance and Preferential Labeling for GNN Node Classification. AAAI (2022)
Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang
Lyra: A Benchmark for Turducken-Style Code Generation. IJCAI (2022)
Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE (2022)
Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang
Grape: Grammar-Preserving Rule Embedding. IJCAI (2022)
Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang
Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE (2022)
Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su
Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Yingfei Xiong, Bo Wang
L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
Synthesizing Efficient Dynamic Programming Algorithms. CoRR (2022)
Ruyi Ji, Yingfei Xiong, Zhenjiang Hu
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR (2022)
Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang
Syntax Guided Neural Program Repair. CoRR (2021)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. IEEE Trans. Software Eng. 47 (2) (2021)
Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
Coverage Prediction for Accelerating Compiler Testing. IEEE Trans. Software Eng. 47 (2) (2021)
Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang
Dynamic Labeling for Unlabeled Graph Neural Networks. CoRR (2021)
Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang
Accelerating Program Analyses in Datalog by Merging Library Facts. SAS (2021)
Guancheng Wang, Ruobing Shen, Junjie Chen, Yingfei Xiong, Lu Zhang
Probabilistic Delta debugging. ESEC/SIGSOFT FSE (2021)
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang
Lyra: A Benchmark for Turducken-Style Code Generation. CoRR (2021)
Qihao Zhu, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang
A syntax-guided edit decoder for neural program repair. ESEC/SIGSOFT FSE (2021)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Occam Learning Meets Synthesis Through Unification. CoRR (2021)
Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang
A Large-scale Study on API Misuses in the Wild. ICST (2021)
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang
Interactive Patch Filtering as Debugging Aid. ICSME (2021)
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE (2021)
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/SIGSOFT FSE (2020)
Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
A Survey of Compiler Testing. ACM Comput. Surv. 53 (1) (2020)
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/SIGSOFT FSE (2020)
Zhaoxu Zhang, Hengcheng Zhu, Ming Wen, Yida Tao, Yepang Liu, Yingfei Xiong
How Do Python Framework APIs Evolve? An Exploratory Study. SANER (2020)
Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang
OCoR: An Overlapping-Aware Code Retriever. ASE (2020)
Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE (2020)
Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
NLocalSAT: Boosting Local Search with Solution Prediction. CoRR (2020)
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI (2020)
Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu
Question selection for interactive program synthesis. PLDI (2020)
Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI (2020)
Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang
OCoR: An Overlapping-Aware Code Retriever. CoRR (2020)
Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yuan Huang, Xinyu Hu, Nan Jia, Xiangping Chen, Yingfei Xiong, Zibin Zheng
Learning Code Context Information to Predict Comment Locations. IEEE Trans. Reliab. 69 (1) (2020)
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Yiling Lou, Yingfei Xiong, Gang Huang
Interactive Patch Filtering as Debugging Aid. CoRR (2020)
Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang
Inferring Program Transformations From Singular Examples via Big Code. ASE (2019)
Gang Huang, Xuanzhe Liu, Yun Ma, Xuan Lu, Ying Zhang, Yingfei Xiong
Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. IEEE Trans. Serv. Comput. 12 (1) (2019)
Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang
History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE (2019)
Abhik Roychoudhury, Yingfei Xiong
Automated program repair: a step towards software automation. Sci. China Inf. Sci. 62 (10) (2019)
Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE (2019)
Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang
TreeGen: A Tree-Based Transformer Architecture for Code Generation. CoRR (2019)
Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang
A Grammar-Based Structural CNN Decoder for Code Generation. AAAI (2019)
Jiajun Jiang, Yingfei Xiong, Xin Xia
A manual inspection of Defects4J bugs and its implications for automatic program repair. Sci. China Inf. Sci. 62 (10) (2019)
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 (2019)
Daming Zou, Jingjing Liang, Yingfei Xiong, Michael D. Ernst, Lu Zhang
An Empirical Study of Fault Localization Families and Their Combinations. CoRR (2018)
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
Learning to Synthesize. CoRR (2018)
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
Identifying patch correctness in test-based program repair. ICSE (2018)
Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler
Automatic Clone Recommendation for Refactoring Based on the Present and the Past. CoRR (2018)
Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang
A Grammar-Based Structural CNN Decoder for Code Generation. CoRR (2018)
Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong, Andrzej Wasowski, Christian Kästner
Identifying features in forks. ICSE (2018)
Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, J. David Morgenthaler
Automatic Clone Recommendation for Refactoring Based on the Present and the Past. ICSME (2018)
Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang
An empirical study on TensorFlow program bugs. ISSTA (2018)
Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen
Shaping program repair space with existing patches and similar code. ISSTA (2018)
Yuan Huang, Nan Jia, Qiang Zhou, Xiangping Chen, Yingfei Xiong, Xiaonan Luo
Guiding developers to make informative commenting decisions in source code. ICSE (Companion Volume) (2018)
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
Learning to synthesize. GI@ICSE (2018)
Yuan Huang, Qiaoyang Zheng, Xiangping Chen, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo
Mining Version Control System for Automatically Generating Commit Comment. ESEM (2017)
Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP (2017)
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
Faster Mutation Analysis via Equivalence Modulo States. CoRR (2017)
Jiajun Jiang, Yingfei Xiong
Can defects be fixed with weak test suites? An analysis of 50 defects from Defects4J. CoRR (2017)
Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far
Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. 8 (3) (2017)
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
Faster mutation analysis via equivalence modulo states. ISSTA (2017)
Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Bing Xie
Learning to prioritize test programs for compiler testing. ICSE (2017)
Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang
Un-preprocessing: Extended CPP that works with your tools. Internetware (2017)
Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, Gang Huang
Identifying Patch Correctness in Test-Based Automatic Program Repair. CoRR (2017)
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
Precise condition synthesis for program repair. ICSE (2017)
Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang
Detecting and fixing precision-specific operations for measuring floating-point errors. SIGSOFT FSE (2016)
Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang
Empirical Evaluation of Test Coverage for Functional Programs. ICST (2016)
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
Precise Condition Synthesis for Program Repair. CoRR (2016)
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 (2016)
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
Transforming Programs between APIs with Many-to-Many Mappings. ECOOP (2016)
Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
An empirical comparison of compiler testing techniques. ICSE (2016)
Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie
High-confidence software evolution. Sci. China Inf. Sci. 59 (7) (2016)
Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong
Bidirectional Transformations, (NII Shonan Meeting 2016-13). NII Shonan Meet. Rep. 2016 (2016)
Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan
Inner oracles: input-specific assertions on internal states. ESEC/SIGSOFT FSE (2015)
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Softw. Syst. Model. 14 (1) (2015)
Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki
Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Trans. Software Eng. 41 (6) (2015)

Yingfei Xiong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yingfei Xiong