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 × Turkey
Collaborated with:
V.S.Adve N.Dautenhahn W.Dietz J.Criswell S.Dasgupta D.P.0001 G.Rosu
Talks about:
architectur (2) kernel (2) privileg (1) instruct (1) complet (1) system (1) semant (1) formal (1) separ (1) level (1)

Person: Theodoros Kasampalis

DBLP DBLP: Kasampalis:Theodoros

Contributed to:

ASPLOS 20152015
PLDI 20192019

Wrote 2 papers:

ASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system
Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
PLDI-2019-Dasgupta0KAR #architecture #semantics #set
A complete formal semantics of x86-64 user-level instruction set architecture (SD, DP0, TK, VSA, GR), pp. 1133–1148.

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.