conf.researchr.org / Tobias Kappé
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 |
Not registered as user yet
Contributions
PLDI 2022 | Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track |