• Sign in
  • Sign up
conf.researchr.org / John Peter Campora
  • ICFP 2018 profile
  • PLDI 2018 profile
  • POPL 2018 profile
  • POPL 2024 profile
  • SPLASH 2017 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
John Peter Campora

Registered user since Mon 22 Feb 2016

Name:John Peter Campora
Bio:

I’m the lead of the hardware compiler team at Quantinuum. I graduated with my PhD in 2021 from the University of Louisiana at Lafayette.

Affiliation:Quantinuum
Research interests:Quantum Programming Language Design, Quantum Compiler for Hardware, Type Error Debugging, Gradual Typing, Type Inference

Contributions

2024

POPL

  • Author of Type-based Gradual Typing Performance Optimization within the POPL-track

2020

SPLASH

  • Author of Taming Type Annotations in Gradual Typing within the OOPSLA-track
  • Session Chair of R-2 (part of OOPSLA)

2019

SPLASH

  • Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track

2018

ICFP

  • Author of Casts and Costs: Harmonizing Safety and Performance in Gradual Typing within the Research Papers-track

PLDI

  • Committee Member in Artifact Evaluation Committee

POPL

  • Author of Migrating Gradual Types within the Artifact Evaluation-track
  • Author of Migrating Gradual Types within the Research Papers-track

2017

SPLASH

  • Author of Learning User Friendly Type-Error Messages within the OOPSLA-track
Share
xWed 21 May 00:48
using conf.researchr.org (v1.69.0)
Support page
Sign Up