Travelled to:1 × Czech Republic
Collaborated with:R.Jhala P.Vekris M.Endres G.Sakkas W.Weimer
Talks about:type (3) program (1) languag (1) automat (1) verifi (1) script (1) repair (1) trust (1) refin (1) phase (1)
Person: Benjamin Cosman
DBLP: Cosman:Benjamin
Contributed to:
2015
2019
2016Wrote 3 papers:
- ECOOP-2015-VekrisCJ #trust #type system #verification
- Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
- ASE-2019-EndresSCJW #automation #named
- InFix: Automatically Repairing Novice Program Inputs (ME, GS, BC, RJ, WW), pp. 399–410.
- PLDI-2016-VekrisCJ #refinement #typescript
- Refinement types for TypeScript (PV, BC, RJ), pp. 310–325.