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 | 187 | 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, 2023 | 35 | 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 | 13 | 2022 |
Pangu-coder2: Boosting large language models for code with ranking feedback. CoRR, abs/2307.14936, 2023. doi: 10.48550 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, 0 | 5 | |