SPLASH 2022 (series) / Fengmin Zhu
Registered user since Mon 12 Sep 2022
Name:Fengmin Zhu
Country:Germany
Affiliation:MPI-SWS
Personal website:https://paulz.me
GitHub:https://github.com/paulzfm
Research interests:type/subtype systems, language design, theorem provers, syntax, synthesis, structured data/inputs, etc.
Contributions
SPLASH 2022 | BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile