John Peter Campora III

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

John Peter Campora III, Mohammad Wahiduzzaman Khan, Sheng Chen
Type-Based Gradual Typing Performance Optimization. Proc. ACM Program. Lang. 8 (POPL) (2024)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. J. Funct. Program. 32 (2022)
John Peter Campora III, Sheng Chen
Taming type annotations in gradual typing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen
Generating precise error specifications for C: a zero shot learning approach. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Sheng Chen, John Peter Campora III
Blame Tracking and Type Error Debugging. SNAPL (2019)
John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
Migrating gradual types. Proc. ACM Program. Lang. 2 (POPL) (2018)
John Peter Campora III, Sheng Chen, Eric Walkingshaw
Casts and costs: harmonizing safety and performance in gradual typing. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Baijun Wu, John Peter Campora III, Sheng Chen
Learning user friendly type-error messages. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)