15 citations · 30 across the 4 of their papers we have counts for
4 papers
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…
Search for Global Dipole Enhancements in the HiRes-I Monocular Data above 10^{18.5} eV
s Eye Collaboration
Several proposed source models for Ultra-High Energy Cosmic Rays (UHECRs) consist of dipole distributions oriented towards major astrophysical landmarks such as the galactic center…