Ryan Doenges | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Tobias Kappé
13 publications
Nate Foster
12 publications
Greg Morrisett
4 publications
Alexander Chang
3 publications
Amanda Xu
3 publications
John Sarracino
2 publications
Samwise Parkinson
1 publication
Rudy Peterson
1 publication
Mina Tahmasbi Arashloo
1 publication
Newton Ni
1 publication
Santiago Bautista
1 publication

research

∙ 05/18/2022

Leapfrog: Certified Equivalence for Protocol Parsers

We present Leapfrog, a Coq-based framework for verifying equivalence of ...

0 Ryan Doenges, et al. ∙

research

∙ 11/11/2020

Petr4: Formal Foundations for P4 Data Planes

P4 is a domain-specific language for programming and specifying packet-p...

0 Ryan Doenges, et al. ∙