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: Criswell:John
Contributed to:
201520142013
2010
2007
20192019Wrote 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.