John Peter Campora III

Registered user since Mon 22 Feb 2016

Name: John Peter Campora III

Bio: 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)

Country: United States

Affiliation: University of Louisiana at Lafayette

Research interests: Type Error Debugging, Gradual Typing, Type Inference


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