I'm a PhD student at UC San Diego, co-advised by Nadia Polikarpova and Sorin Lerner, and studying PL (with a bit of HCI) in the Programming Systems group. I started in 2014.
I'm currently working on addressing program composibility through (targeted) program synthesis, on which I recently proposed a thesis topic. In addition, I'm also interested in verification, interactive synthesis, diagrams, constraint systems, lenses, functional reactive programming, program semantics, and interpreters and compilers.
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 play video games, listen to loud music,
lift weights, look at beaches, and eat food.
Targeted Synthesis for Programming with Data Invariants
John Sarracino, Shraddha Barke, Nadia Polikarpova, Sorin Lerner.
In submission. pdf draft
User-Guided Synthesis of Interactive Diagrams.
John Sarracino, Odaris Barrios-Arciga, Jasmine Zhu, Noah Marcus, Sorin Lerner, Ben Wiedermann.
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