Conflict resolution for structured merge via version space algebra. - Fengmin Zhu; Fei He 001 (Proc. ACM Program. Lang., 2018)

Enhancing precision of structured merge by proper tree matching. - Fengmin Zhu; Fei He 001; Qianshan Yu (ICSE (Companion Volume), 2019)

EqFix: Fixing LaTeX Equation Errors by Examples. - Fengmin Zhu; Fei He 001 (SETTA, 2022)

Mastery: Shifted-Code-Aware Structured Merging. - Fengmin Zhu; Xingyu Xie; Dongyu Feng; Na Meng 001; Fei He 001 (SETTA, 2022)

Lay-it-out: Interactive Design of Layout-Sensitive Grammars. - Fengmin Zhu; Jiangyi Liu; Fei He 001 (CoRR, 2022)

BFF: foundational and automated verification of bitfield-manipulating programs. - Fengmin Zhu; Michael Sammler; Rodolphe Lepigre; Derek Dreyer; Deepak Garg 001 (Proc. ACM Program. Lang., 2022)

Grammar-Based String Refinement Types. - Fengmin Zhu (ICSE Companion, 2023)

Automated Ambiguity Detection in Layout-Sensitive Grammars. - Jiangyi Liu; Fengmin Zhu; Fei He 001 (Proc. ACM Program. Lang., 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 001; Fei He 001 (J. Syst. Archit., 2023)

FLAT: Formal Languages as Types. - Fengmin Zhu; Andreas Zeller (CoRR, 2025)