Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges, Tobias Kapp, John Sarracino, Nate Foster, Greg Morrisett

Browse the full PLDI paper archive.