John Sarracino

According to our database, John Sarracino authored at least 10 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Certified Parsing of Dependent Regular Grammars.

John Sarracino, Gang Tan, Greg Morrisett

Proceedings of the 43rd IEEE Security and Privacy, 2022

Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Synthesis of web layouts from examples.

Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner, Nadia Polikarpova

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Language Design for Synthesizing Diagrams, Layouts, and Invariants.

John Sarracino

PhD thesis, 2020

2019

Targeted Synthesis for Programming with Data Invariants.

John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner

CoRR, 2019

2017

User-Guided Synthesis of Interactive Diagrams.

John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann

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

2015

Interactive parser synthesis by example.

Alan Leung, John Sarracino, Sorin Lerner

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

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

JSAI: a static analysis platform for JavaScript.

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

Type refinement for static analysis of JavaScript.

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf

Proceedings of the DLS'13, 2013