| Identifying patch correctness in test-based program repair Y Xiong, X Liu, M Zeng, L Zhang, G Huang Proceedings of the 40th international conference on software engineering …, 2018 | 200 | 2018 |
| PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback B Shen, J Zhang, T Chen, D Zan, B Geng, A Fu, M Zeng, A Yu, J Ji, J Zhao, ... arXiv preprint arXiv:2307.14936 10, 2023 | 57 | 2023 |
| Detecting floating-point errors via atomic conditions D Zou, M Zeng, Y Xiong, Z Fu, L Zhang, Z Su Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 34 | 2019 |
| Fault localization via efficient probabilistic modeling of program semantics M Zeng, Y Wu, Z Ye, Y Xiong, X Zhang, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 21 | 2022 |
| CodeR: Issue Resolving with Multi-Agent and Task Graphs D Chen, S Lin, M Zeng, D Zan, JG Wang, A Cheshkov, J Sun, H Yu, ... arXiv preprint arXiv:2406.01304, 2024 | 4 | 2024 |
| SWE-bench-java: A GitHub Issue Resolving Benchmark for Java D Zan, Z Huang, A Yu, S Lin, Y Shi, W Liu, D Chen, Z Qi, H Yu, L Yu, ... arXiv preprint arXiv:2408.14354, 2024 | | 2024 |
Yingfei XiongAssociate Professor, Peking University在 sei.pku.edu.cn 的电子邮件经过验证
