John Sarracino | DeepAI

DeepAI

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

Featured Co-authors

Nadia Polikarpova
13 publications
Tobias Kappé
13 publications
Nate Foster
12 publications
Sorin Lerner
6 publications
Greg Morrisett
4 publications
Shraddha Barke
3 publications
Ryan Doenges
2 publications

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

∙ 04/30/2019

Targeted Synthesis for Programming with Data Invariants

Programmers frequently maintain implicit data invariants, which are rela...

0 John Sarracino, et al. ∙