Collaborated with:S.G.Elbaum C.Detweiler L.Karkazis S.Kate X.Zhang Z.Xu
Talks about:probabilist (1) inconsist (1) physic (1) detect (1) burden (1) assign (1) assess (1) annot (1) unit (1) type (1)
Person: John-Paul Ore
DBLP: Ore:John=Paul
Contributed to:
2018
2018Wrote 2 papers:
- ASE-2018-OreEDK
- Assessing the type annotation burden (JPO, SGE, CD, LK), pp. 190–201.
- ESEC-FSE-2018-KateOZEX #consistency #detection #named #nondeterminism #physics #probability
- Phys: probabilistic physical unit assignment and inconsistency detection (SK, JPO, XZ, SGE, ZX), pp. 563–573.