Type refinement for static analysis of JavaScript. - Vineeth Kashyap; John Sarracino; John Wagner; Ben Wiedermann; Ben Hardekopf (DLS, 2013)

JSAI: a static analysis platform for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (SIGSOFT FSE, 2014)

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript. - Vineeth Kashyap; Kyle Dewey; Ethan A. Kuefner; John Wagner; Kevin Gibbons; John Sarracino; Ben Wiedermann; Ben Hardekopf (CoRR, 2014)

Interactive parser synthesis by example. - Alan Leung; John Sarracino; Sorin Lerner (PLDI, 2015)

User-Guided Synthesis of Interactive Diagrams. - John Sarracino; Odaris Barrios-Arciga; Jasmine Zhu; Noah Marcus; Sorin Lerner; Ben Wiedermann (CHI, 2017)

Targeted Synthesis for Programming with Data Invariants. - John Sarracino; Shraddha Barke; Nadia Polikarpova; Sorin Lerner (CoRR, 2019)

Language Design for Synthesizing Diagrams, Layouts, and Invariants. - John Sarracino (2020)

Synthesis of web layouts from examples. - Dylan Lukes; John Sarracino; Cora Coleman; Hila Peleg; Sorin Lerner; Nadia Polikarpova (ESEC/SIGSOFT FSE, 2021)

Leapfrog: certified equivalence for protocol parsers. - Ryan Doenges; Tobias Kappé; John Sarracino; Nate Foster; Greg Morrisett (PLDI, 2022)

Certified Parsing of Dependent Regular Grammars. - John Sarracino; Gang Tan; Greg Morrisett (SP (Workshops), 2022)