John Peter Campora -

Registered user since Mon 22 Feb 2016

Name:John Peter Campora

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) gmail.com.

Affiliation:University of Louisiana at Lafayette

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

Contributions

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