Registered user since Mon 12 Sep 2022
Research interests:type/subtype systems, language design, theorem provers, syntax, synthesis, structured data/inputs, etc.
|SPLASH 2022||BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs|
|Show activities from other conferences|
Using general profile