Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Sarracino, John"'
Publikováno v:
Proc. PLDI 2022, 950-965
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 symbolically computing a compact representation of a bisimulation, using
Externí odkaz:
http://arxiv.org/abs/2205.08762
Programmers frequently maintain implicit data invariants, which are relations between different data structures in a program. Traditionally, such invariants are manually enforced and checked by programmers. This ad-hoc practice is difficult because t
Externí odkaz:
http://arxiv.org/abs/1904.13049
Autor:
Kashyap, Vineeth, Dewey, Kyle, Kuefner, Ethan A., Wagner, John, Gibbons, Kevin, Sarracino, John, Wiedermann, Ben, Hardekopf, Ben
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, integer and boolean constant propagation, and control-flow analysis. In addi
Externí odkaz:
http://arxiv.org/abs/1403.3996
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sarracino, John M., Vorsa, N.
Publikováno v:
Euphytica; October 1991, Vol. 58 Issue: 2 p129-136, 8p
Autor:
Sarracino, John B., Soule, Malcolm H.
Publikováno v:
Experimental Biology and Medicine; October 1941, Vol. 48 Issue: 1 p188-191, 4p
Autor:
Sarracino, John B., Soule, Malcolm H.
Publikováno v:
Experimental Biology and Medicine; October 1941, Vol. 48 Issue: 1 p183-186, 4p
Autor:
Sarracino, John
Publikováno v:
School Science & Mathematics; Jun1935, Vol. 35 Issue 6, p598-598, 1p