John Sarracino -

Registered user since Wed 1 Jun 2016

Name:John Sarracino

Affiliation:Lawrence Livermore National Laboratory

Personal website: https://goto.ucsd.edu/~john/

Contributions

2024

SPLASH

Mentor in Mentors within the PLMW-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

SPLASH

Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track

2022

SPLASH

ESEC/FSE

Author of Synthesis of Web Layouts from Examples within the ESEC/FSE 2021-track

PLDI

Author of Leapfrog: Certified Equivalence for Protocol Parsers within the PLDI-track

2021

ESEC/FSE

Author of Synthesis of Web Layouts from Examples within the Research Papers-track

PLDI

Committee Member in Program Committee within the PLDI-track

2020

ICFP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PLDI

Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2019

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2018

SPLASH

PLDI

Committee Member in Artifact Evaluation Committee

2015

PLDI

Author of Interactive Parser Synthesis by Example within the Research Papers-track

2013

DLS

Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track