Muhan Zeng

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Interval Arithmetic

Probabilistic Modeling

Fault Localization

Top Venues

Proc. ACM Program. Lang.

Publications

Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang
CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR (2024)
Bo Shen, Jiaxin Zhang, Taihong Chen, Daoguang Zan, Bing Geng, An Fu, Muhan Zeng, Ailun Yu, Jichuan Ji, Jingyang Zhao, Yuenan Guo, Qianxiang Wang
PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback. CoRR (2023)
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, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang Huang
Identifying patch correctness in test-based program repair. ICSE (2018)
Xinyuan Liu, Muhan Zeng, Yingfei Xiong, Lu Zhang, Gang Huang
Identifying Patch Correctness in Test-Based Automatic Program Repair. CoRR (2017)