John Sarracino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Leapfrog: certified equivalence for protocol parsers. | Ryan Doenges, Tobias Kapp, John Sarracino, Nate Foster, Greg Morrisett |
| 2022 | SP | Certified Parsing of Dependent Regular Grammars. | John Sarracino, Gang Tan, Greg Morrisett |
| 2017 | CHI | User-Guided Synthesis of Interactive Diagrams. | John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann |
| 2015 | PLDI | Interactive parser synthesis by example. | Alan Leung, John Sarracino, Sorin Lerner |
| 2013 | DLS | Type refinement for static analysis of JavaScript. | Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf |