Muhan Zeng

Identifying patch correctness in test-based program repair

Yingfei Xiong, Xinyuan Liu, Muhan Zeng et al. · 2018 · 162 citations · Full text

Computing, Computer Engineering, Computer Science +12

Detecting floating-point errors via atomic conditions

Daming Zou, Muhan Zeng, Yingfei Xiong et al. · Proceedings of the ACM on Programming Languages · 2019 · 38 citations · Full text

Engineering, Computer Engineering, Computer Science +8

Fault localization via efficient probabilistic modeling of program semantics

Muhan Zeng, Yiqian Wu, Zhentao Ye et al. · Proceedings of the 44th International Conference on Software Engineering · 2022 · 37 citations

Computing, Computer Science, Fault-tolerant Computing +9

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback

Bo Shen, Jiaxin Zhang, Tai‐Hong Chen et al. · arXiv (Cornell University) · 2023 · 13 citations · Full text

Computing, Computer Science, Computational Linguistics +13