Fengmin Zhu

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