Registered user since Wed 1 Jun 2016
John is a PL/HCI PhD student at UC San Diego. His research is on program synthesis, with a particular focus on synthesis of interactive web programs. In addition, he’s also interested in interactive synthesis, diagrams, constraint systems, program semantics, garbage collection, functional languages and their implementations, and static analysis/abstract interpretation.
|SPLASH 2018|| Committee Member in Reviewers within the SRC-track|
Committee Member in Artifact Evaluation Committee within the Artifacts-track
|Show activities from other conferences|
View general profile