BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cosman:Benjamin

Contributed to:

ECOOP 20152015
ASE 20192019
PLDI 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.