Yingfei Xiong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
49
Venues
18
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
49 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACL | Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs? | Qingyuan Liang, Zhao Zhang, Zeyu Sun, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen, Yuqun Zhang, Haotian Zhang, Lu Zhang, Chenbin Chenbin, Yingfei Xiong |
| 2024 | FM | Proving Functional Program Equivalence via Directed Lemma Synthesis. | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong |
| 2024 | ICSE | GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. | Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, Shengyu Cheng |
| 2023 | ICSE | Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. | Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie |
| 2023 | ICSE | Tare: Type-Aware Neural Program Repair. | Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang |
| 2023 | ISSRE | A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. | Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang |
| 2022 | AAAI | Generalized Equivariance and Preferential Labeling for GNN Node Classification. | Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang |
| 2022 | IJCAI | Lyra: A Benchmark for Turducken-Style Code Generation. | Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang |
| 2022 | IJCAI | Grape: Grammar-Preserving Rule Embedding. | Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang |
| 2022 | ICSE | Improving Machine Translation Systems via Isotopic Replacement. | Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang |
| 2022 | ICSE | Fault Localization via Efficient Probabilistic Modeling of Program Semantics. | Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang |
| 2021 | ICST | A Large-scale Study on API Misuses in the Wild. | Xia Li, Jiajun Jiang, Samuel Benton, Yingfei Xiong, Lingming Zhang |
| 2021 | SAS | Accelerating Program Analyses in Datalog by Merging Library Facts. | Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang |
| 2020 | AAAI | TreeGen: A Tree-Based Transformer Architecture for Code Generation. | Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang |
| 2020 | IJCAI | NLocalSAT: Boosting Local Search with Solution Prediction. | Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang |
| 2020 | PLDI | Question selection for interactive program synthesis. | Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu |
| 2019 | AAAI | A Grammar-Based Structural CNN Decoder for Code Generation. | Zeyu Sun, Qihao Zhu, Lili Mou, Yingfei Xiong, Ge Li, Lu Zhang |
| 2019 | ISSRE | How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects. | Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang |
| 2018 | ICSE | Guiding developers to make informative commenting decisions in source code. | Yuan Huang, Nan Jia, Qiang Zhou, Xiangping Chen, Yingfei Xiong, Xiaonan Luo |
| 2018 | ICSE | Identifying patch correctness in test-based program repair. | Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang |
| 2018 | ICSE | Learning to synthesize. | Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang |
| 2018 | ICSE | Identifying features in forks. | Shurui Zhou, Stefan Stanciulescu, Olaf Leenich, Yingfei Xiong, Andrzej Wasowski, Christian Kstner |
| 2018 | ISSTA | Shaping program repair space with existing patches and similar code. | Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen |
| 2018 | ISSTA | An empirical study on TensorFlow program bugs. | Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang |
| 2017 | ESEM | Mining Version Control System for Automatically Generating Commit Comment. | Yuan Huang, Qiaoyang Zheng, Xiangping Chen, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo |
| 2017 | ESOP | Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. | Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang |
| 2017 | ICSE | Learning to prioritize test programs for compiler testing. | Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Bing Xie |
| 2017 | ICSE | Precise condition synthesis for program repair. | Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang |
| 2017 | ISSTA | Faster mutation analysis via equivalence modulo states. | Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao |
| 2016 | ECOOP | Transforming Programs between APIs with Many-to-Many Mappings. | Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |
| 2016 | ICSE | An empirical comparison of compiler testing techniques. | Junjie Chen, Wenxiang Hu, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie |
| 2016 | ICST | Test Case Prioritization for Compilers: A Text-Vector Based Approach. | Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie |
| 2016 | ICST | Empirical Evaluation of Test Coverage for Functional Programs. | Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang |
| 2015 | ICSE | Safe Memory-Leak Fixing for C Programs. | Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei |
| 2015 | ICSE | A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. | Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei |
| 2015 | PEPM | SWIN: Towards Type-Safe Java Program Adaptation between APIs. | Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu |
| 2013 | ICWS | How Does Web Service API Evolution Affect Clients? | Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang |
| 2013 | MODELS | Towards RSA-based HA configuration in Cloud. | Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang |
| 2013 | SPLC | SmartFixer: fixing software configurations based on dynamic priorities. | Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang |
| 2012 | ICSE | Generating range fixes for software configuration. | Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki |
| 2011 | MODELS | From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
| 2011 | MODELS | Correctness of Model Synchronization Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
| 2011 | SPLC | A study of non-Boolean constraints in variability models of an embedded operating system. | Leonardo Teixeira Passos, Thorsten Berger, Marko Novakovic, Krzysztof Czarnecki, Yingfei Xiong, Andrzej Wasowski |
| 2010 | MODELS | Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2010 | MODELS | Specifying overlaps of heterogeneous models for global consistency checking. | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki |
| 2010 | MODELS | Inferring Meta-models for Runtime System Data from the Clients of Management APIs. | Hui Song, Gang Huang, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei |
| 2010 | MODELS | A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. | Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei |
| 2009 | MODELS | Generating Synchronization Engines between Running Systems and Their Model-Based Views. | Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei |
| 2008 | CCS | Enforcing a security pattern in stakeholder goal models. | Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka |