Registered user since Mon 12 Sep 2022

Name:Fengmin Zhu
Country:Germany
Affiliation:MPI-SWS
Personal website:https://paulz.me
Research interests:type/subtype systems, language design, theorem provers, syntax, synthesis, structured data/inputs, etc.

Contributions

SPLASH 2022 Author of BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs within the OOPSLA-track