Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Kappé
conf.researchr.org general profile
PLDI 2022 profile
Not registered as user
Name:
Tobias Kappé
Affiliation:
ILLC, University of Amsterdam
Contributions
2022
PLDI
Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track
Share
x
Sun 22 Dec 08:22