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 × South Africa
1 × Turkey
3 × USA
Collaborated with:
V.S.Adve S.K.Sahoo N.Dautenhahn C.Ding R.Lavaee C.Geigle A.Lenharth D.Dhurjati T.Kasampalis W.Dietz P.Li Colin Pronovost William Wilson Benjamin Tait J.Zhou
Talks about:
system (3) oper (3) architectur (2) virtual (2) softwar (2) kernel (2) autom (2) bug (2) codestitch (1) procedur (1)

Person: John Criswell

DBLP DBLP: Criswell:John

Contributed to:

ASPLOS 20152015
ASPLOS 20142014
ASPLOS 20132013
ICSE 20102010
SOSP 20072007
CC 20192019
ASPLOS 20192019

Wrote 7 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.
ASPLOS-2014-CriswellDA #operating system
Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.
ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using
Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
ICSE-2010-SahooCA #automation #debugging #empirical
An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.
SOSP-2007-CriswellLDA #architecture #execution #operating system
Secure virtual architecture: a safe execution environment for commodity operating systems (JC, AL, DD, VSA), pp. 351–366.
CC-2019-LavaeeCD #interprocedural #layout #named #optimisation
Codestitcher: inter-procedural basic block layout optimization (RL, JC, CD), pp. 65–75.
ASPLOS-2019-LiPWTZDC #statistics
Beating OPT with Statistical Clairvoyance and Variable Size Caching (PL, CP, WW, BT, JZ, CD, JC), pp. 243–256.

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.