E-LIB Suche - Ergebnisse für: Sarracino, John

1

Leapfrog: certified equivalence for protocol parsers:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Doenges, Ryan ; Kappé, Tobias ; Sarracino, John.. - p. 950-965 , 2022

Link: https://dl.acm.org/doi/1..

2

Certified Parsing of Dependent Regular Grammars:

, In: 2022 IEEE Security and Privacy Workshops (SPW),

Sarracino, John ; Tan, Gang ; Morrisett, Greg - p. 113-123 , 2022

Link: https://doi.org/10.1109/..

3

Synthesis of web layouts from examples:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Lukes, Dylan ; Sarracino, John ; Coleman, Cora... - p. 651-663 , 2021

Link: https://dl.acm.org/doi/1..

4

User-Guided Synthesis of Interactive Diagrams:

, In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems,

Sarracino, John ; Barrios-Arciga, Odaris ; Zhu, Jasmine... - p. 195-207 , 2017

Link: https://dl.acm.org/doi/1..

5

Interactive parser synthesis by example:

Leung, Alan ; Sarracino, John ; Lerner, Sorin
ACM SIGPLAN Notices. 50 (2015) 6 - p. 565-574 , 2015

Link: https://doi.org/10.1145/..

6

Interactive parser synthesis by example:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Leung, Alan ; Sarracino, John ; Lerner, Sorin - p. 565-574 , 2015

Link: https://dl.acm.org/doi/1..

7

JSAI: a static analysis platform for JavaScript:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Kashyap, Vineeth ; Dewey, Kyle ; Kuefner, Ethan A.... - p. 121-132 , 2014

Link: https://dl.acm.org/doi/1..

8

Type refinement for static analysis of JavaScript:

Kashyap, Vineeth ; Sarracino, John ; Wagner, John..
ACM SIGPLAN Notices. 49 (2013) 2 - p. 17-26 , 2013

Link: https://doi.org/10.1145/..

9

Type refinement for static analysis of JavaScript:

, In: Proceedings of the 9th symposium on Dynamic languages,

Kashyap, Vineeth ; Sarracino, John ; Wagner, John.. - p. 17-26 , 2013

Link: https://dl.acm.org/doi/1..

10

Speed of Toxic Action of Mercuric Chloride on Daphnia pulex:

Breukelman, John ; Sarracino, John
Transactions of the Kansas Academy of Science (1903-). 35 (1932) - p. 78-79 , 1932

Link: https://www.jstor.org/st..

11

Self and cross fertility in cranberry:

Sarracino, John M. ; Vorsa, N.
Euphytica. 58 (1991) 2 - p. 129-136 , 1991

Link: https://doi.org/10.1007/..

12

Leapfrog: Certified Equivalence for Protocol Parsers:

Doenges, Ryan ; Kappé, Tobias ; Sarracino, John..
http://arxiv.org/abs/2205.08762. , 2022

Link: http://arxiv.org/abs/220..

13

Language Design for Synthesizing Diagrams, Layouts, and Inv..:

Sarracino, John
qt9p6896qr. , 2020

Link: https://escholarship.org..

14

Targeted Synthesis for Programming with Data Invariants:

Sarracino, John ; Barke, Shraddha ; Peleg, Hila..
http://arxiv.org/abs/1904.13049. , 2019

Link: http://arxiv.org/abs/190..

15

JSAI: Designing a Sound, Configurable, and Efficient Static..:

Kashyap, Vineeth ; Dewey, Kyle ; Kuefner, Ethan A...
http://arxiv.org/abs/1403.3996. , 2014

Link: http://arxiv.org/abs/140..