John Peter Campora III

According to our database, John Peter Campora III authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Type-Based Gradual Typing Performance Optimization.

John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen

Proc. ACM Program. Lang., January, 2024

2020

Taming type annotations in gradual typing.

John Peter Campora III, Sheng Chen

Proc. ACM Program. Lang., 2020

2019

Generating precise error specifications for C: a zero shot learning approach.

Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen

Proc. ACM Program. Lang., 2019

Blame Tracking and Type Error Debugging.

Sheng Chen, John Peter Campora III

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Casts and costs: harmonizing safety and performance in gradual typing.

John Peter Campora III, Sheng Chen, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

Migrating gradual types.

John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw

Proc. ACM Program. Lang., 2018

2017

Learning user friendly type-error messages.

Baijun Wu, John Peter Campora III, Sheng Chen

Proc. ACM Program. Lang., 2017