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 × Canada
1 × Italy
1 × Portugal
3 × USA
Collaborated with:
J.Aldrich N.E.Beckman K.Naden R.Bocchino
Talks about:
permiss (3) typest (3) lightweight (2) object (2) check (2) autom (2) protocol (1) symplar (1) program (1) practic (1)

Person: Kevin Bierhoff

DBLP DBLP: Bierhoff:Kevin

Contributed to:

POPL 20122012
Onward! 20112011
ECOOP 20092009
OOPSLA 20082008
OOPSLA 20072007
ESEC/FSE 20052005

Wrote 6 papers:

POPL-2012-NadenBAB #type system
A type system for borrowing permissions (KN, RB, JA, KB), pp. 557–570.
Onward-2011-Bierhoff #automation #lightweight #reasoning #verification
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
ECOOP-2009-BierhoffBA #api #protocol
Practical API Protocol Checking with Access Permissions (KB, NEB, JA), pp. 195–219.
OOPSLA-2008-BeckmanBA #type system #verification
Verifying correct usage of atomic blocks and typestate (NEB, KB, JA), pp. 227–244.
OOPSLA-2007-BierhoffA #alias #composition #type system
Modular typestate checking of aliased objects (KB, JA), pp. 301–320.
ESEC-FSE-2005-BierhoffA #lightweight #specification #type system
Lightweight object specification with typestates (KB, JA), pp. 217–226.

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.