Not registered as user yet

Name:Tobias Kappé
Affiliation:ILLC, University of Amsterdam

Contributions

PLDI 2022 Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track