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 × Switzerland
1 × USA
Collaborated with:
A.A.Sani S.Qin L.Zhong C.Fok C.Julien M.Kim
Talks about:
paravirtu (1) framework (1) boundari (1) system (1) physic (1) assert (1) devic (1) debug (1) cyber (1) brace (1)

Person: Kevin Boos

DBLP DBLP: Boos:Kevin

Contributed to:

ASPLOS 20142014
ICSE 20122012

Wrote 2 papers:

ASPLOS-2014-SaniBQZ #bound
I/o paravirtualization at the device file boundary (AAS, KB, SQ, LZ), pp. 319–332.
ICSE-2012-BoosFJK #cyber-physical #debugging #framework #named
BRACE: An assertion framework for debugging cyber-physical systems (KB, CLF, CJ, MK), pp. 1341–1344.

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.