research
∙
04/10/2023
Interval Parsing Grammars for File Format Parsing
File formats specify how data is encoded for persistent storage. They ca...
share
research
∙
05/18/2022
Leapfrog: Certified Equivalence for Protocol Parsers
We present Leapfrog, a Coq-based framework for verifying equivalence of ...
research
∙
03/25/2019
Evolving Academia/Industry Relations in Computing Research: Interim Report
In 2015, the CCC co-sponsored an industry round table that produced the ...
research
∙
06/20/2018