I'm a 3rd-year PhD student at UC San Diego, advised by Sorin Lerner and studying PL/HCI with the Programming Systems group.
I'm currently working on program synthesis. In addition, I'm also interested in interactive synthesis, diagrams, constraint systems, program semantics, garbage collection, functional languages and their implementations, and static analysis/abstract interpretation.
Prior to UCSD, I obtained a BS in Computer Science/Mathematics from Harvey Mudd College.
My email address is email@example.com and I attempt to answer promptly.
Outside of research, I help run a digital dental laboratory, listen to loud music,
lift weights, look at beaches, and eat food.
User-Guided Synthesis of Interactive Diagrams.
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann.
(to appear in) CHI '17. pdf, website, slides
Interactive Parser Synthesis by Example.
Alan Leung, John Sarracino, Sorin Lerner.
PLDI '15. pdf, website
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf.
FSE '14. pdf
Chihuahua: A Concurrent, Moving, Garbage Collector using Transactional Memory.
Todd Anderson, Melissa O'Neil, John Sarracino.
TRANSACT '15. pdf
Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf.
DLS '13. pdf