Fengmin Zhu

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Control Structures

Structured Learning

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both. J. Syst. Archit. 145 (2023)
Jiangyi Liu, Fengmin Zhu, Fei He
Automated Ambiguity Detection in Layout-Sensitive Grammars. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Fengmin Zhu
Grammar-Based String Refinement Types. ICSE Companion (2023)
Fengmin Zhu, Fei He
EqFix: Fixing LaTeX Equation Errors by Examples. SETTA (2022)
Fengmin Zhu, Jiangyi Liu, Fei He
Lay-it-out: Interactive Design of Layout-Sensitive Grammars. CoRR (2022)
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg
BFF: foundational and automated verification of bitfield-manipulating programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He
Mastery: Shifted-Code-Aware Structured Merging. SETTA (2022)
Fengmin Zhu, Fei He
EqFix: Fixing LaTeX Equation Errors by Examples. CoRR (2021)
Fengmin Zhu, Fei He, Qianshan Yu
Enhancing precision of structured merge by proper tree matching. ICSE (Companion Volume) (2019)
Fengmin Zhu, Fei He
Conflict resolution for structured merge via version space algebra. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)