John Sarracino

13 papers A* 3C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Towards Richer Challenge Problems for Scientific Computing Correctness.
VSS@ETAPS
Matthew J. Sottile, Mohit Tekriwal, John Sarracino
2025 J jnl
Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs.
CoRR
Mohit Tekriwal, John Sarracino
2022 — conf
Certified Parsing of Dependent Regular Grammars.
SP (Workshops)
John Sarracino, Gang Tan, Greg Morrisett
2022 J jnl
Leapfrog: Certified Equivalence for Protocol Parsers.
CoRR
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2022 A* conf
Leapfrog: certified equivalence for protocol parsers.
PLDI
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2021 — conf
Synthesis of web layouts from examples.
ESEC/SIGSOFT FSE
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2020 — —
Language Design for Synthesizing Diagrams, Layouts, and Invariants.
John Sarracino
2019 J jnl
Targeted Synthesis for Programming with Data Invariants.
CoRR
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner
2017 A* conf
User-Guided Synthesis of Interactive Diagrams.
CHI
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann
2015 A* conf
Interactive parser synthesis by example.
PLDI
Alan Leung, John Sarracino, Sorin Lerner
2014 J jnl
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript.
CoRR
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 — conf
JSAI: a static analysis platform for JavaScript.
SIGSOFT FSE
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2013 C conf
Type refinement for static analysis of JavaScript.
DLS
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf