Learning user friendly type-error messages. - Baijun Wu; John Peter Campora III; Sheng Chen 008 (Proc. ACM Program. Lang., 2017)

Migrating gradual types. - John Peter Campora III; Sheng Chen 008; Martin Erwig; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

Casts and costs: harmonizing safety and performance in gradual typing. - John Peter Campora III; Sheng Chen 008; Eric Walkingshaw (Proc. ACM Program. Lang., 2018)

Blame Tracking and Type Error Debugging. - Sheng Chen 008; John Peter Campora III (SNAPL, 2019)

Generating precise error specifications for C: a zero shot learning approach. - Baijun Wu; John Peter Campora III; Yi He 007; Alexander Schlecht; Sheng Chen 008 (Proc. ACM Program. Lang., 2019)

Taming type annotations in gradual typing. - John Peter Campora III; Sheng Chen 008 (Proc. ACM Program. Lang., 2020)

Type-Based Gradual Typing Performance Optimization. - John Peter Campora III; Mohammad Wahiduzzaman Khan; Sheng Chen 008 (Proc. ACM Program. Lang., 2024)