Muhan Zeng - Concepedia

Author

Muhan Zeng

Also Known As

Muhan Zeng, Zeng, Muhan

Publications

245

Citations

H-Index

Concepts

All Affiliations

Muhan Zeng is an author at Peking University specializing in formal methods, software maintenance, and static analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	36
2	Computer Science	1	1	36
3	Systems Engineering	1	1	36
4	Software Analysis	1	1	36
5	Software Engineering	1	1	36

Muhan Zeng

Publications

244

Citations

H-Index

Page 1

	Year	Citations
Identifying patch correctness in test-based program repair Yingfei Xiong, Xinyuan Liu, Muhan Zeng,	2018	157
Detecting floating-point errors via atomic conditions Daming Zou, Muhan Zeng, Yingfei Xiong, Proceedings of the ACM on Programming Languages	2019	38
Fault localization via efficient probabilistic modeling of program semantics Muhan Zeng, Yiqian Wu, Zhentao Ye, Proceedings of the 44th International Conference on Software Engineering Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2022	36
PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback Bo Shen, Jiaxin Zhang, Tai‐Hong Chen, arXiv (Cornell University)	2023	13

Page 1