Collaborated with:Sheng Chen 0008 Baijun Wu M.Erwig E.Walkingshaw Y.He Alexander Schlecht
Talks about:learn (2) error (2) type (2) approach (1) gradual (1) generat (1) specif (1) precis (1) migrat (1) messag (1)
Person: John Peter Campora III
DBLP: III:John_Peter_Campora
Contributed to:
20172019
2018Wrote 3 papers:
- OOPSLA-2017-WuCC #error message #learning
- Learning user friendly type-error messages (BW, JPCI, SC0), p. 29.
- OOPSLA-2019-WuCHS0 #approach #fault #generative #learning #precise #specification
- Generating precise error specifications for C: a zero shot learning approach (BW, JPCI, YH, AS, SC0), p. 30.
- POPL-2018-Campora0EW #migration
- Migrating gradual types (JPCI, SC0, ME, EW), p. 29.