John Sarracino

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 7

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Publications

Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: Certified Equivalence for Protocol Parsers. CoRR (2022)
John Sarracino, Gang Tan, Greg Morrisett
Certified Parsing of Dependent Regular Grammars. SP Workshops (2022)
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Leapfrog: certified equivalence for protocol parsers. PLDI (2022)
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
Synthesis of web layouts from examples. ESEC/SIGSOFT FSE (2021)
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner
Targeted Synthesis for Programming with Data Invariants. CoRR (2019)
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
User-Guided Synthesis of Interactive Diagrams. CHI (2017)
Alan Leung, John Sarracino, Sorin Lerner
Interactive parser synthesis by example. PLDI (2015)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: a static analysis platform for JavaScript. SIGSOFT FSE (2014)
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. CoRR (2014)
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf
Type refinement for static analysis of JavaScript. DLS (2013)