John Peter Campora

Registered user since Mon 22 Feb 2016

Name:John Peter Campora

I’m a 3rd year PhD student at ULL advised by Sheng Chen. My current research focus has been improving the usability of gradually typed languages. You can contact me at: petecampora (at)

Affiliation:University of Louisiana at Lafayette
Research interests:Type Error Debugging, Gradual Typing, Type Inference


SPLASH 2020 Author of Taming Type Annotations in Gradual Typing within the OOPSLA-track
Session Chair of R-2 (part of OOPSLA)
SPLASH 2019 Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track
ICFP 2018 Author of Casts and Costs: Harmonizing Safety and Performance in Gradual Typing within the Research Papers-track
PLDI 2018 Committee Member in Artifact Evaluation Committee
POPL 2018 Author of Migrating Gradual Types within the Artifact Evaluation-track
Author of Migrating Gradual Types within the Research Papers-track
SPLASH 2017 Author of Learning User Friendly Type-Error Messages within the OOPSLA-track