Fengmin Zhu

According to our database, Fengmin Zhu authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both.

Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He

J. Syst. Archit., December, 2023

Automated Ambiguity Detection in Layout-Sensitive Grammars.

Jiangyi Liu, Fengmin Zhu, Fei He

Proc. ACM Program. Lang., October, 2023

Grammar-Based String Refinement Types.

Fengmin Zhu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

BFF: foundational and automated verification of bitfield-manipulating programs.

Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg

Proc. ACM Program. Lang., 2022

Lay-it-out: Interactive Design of Layout-Sensitive Grammars.

Fengmin Zhu, Jiangyi Liu, Fei He

CoRR, 2022

Mastery: Shifted-Code-Aware Structured Merging.

Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

EqFix: Fixing LaTeX Equation Errors by Examples.

Fengmin Zhu, Fei He

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2019

Enhancing precision of structured merge by proper tree matching.

Fengmin Zhu, Fei He, Qianshan Yu

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Conflict resolution for structured merge via version space algebra.

Fengmin Zhu, Fei He

Proc. ACM Program. Lang., 2018