15 citations · 30 across the 4 of their papers we have counts for
3 papers · 1 filter
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino +2
We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol parsers. Our approach is based on an automata model of P4 parsers, and an algorithm for sym…
Targeted Synthesis for Programming with Data Invariants
John Sarracino, Shraddha Barke, Hila Peleg +2
Programmers frequently maintain implicit data invariants, which are relations between different data structures in a program. Traditionally, such invariants are manually enforced a…
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner +5
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, intege…