John Sarracino -

Registered user since Thu 19 Aug 2021

Name:John Sarracino

Country:United States

Affiliation:Cornell University

Personal website:https://www.cs.cornell.edu/~jsarracino/

GitHub:https://github.com/jsarracino

Research interests:Programming Languages, Security, HCI, Useable Security

Contributions

SPLASH 2023	Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2023	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2022	Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI 2022	Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track
ESEC/FSE 2021	Author of Synthesis of Web Layouts from Examples within the Research Papers-track