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 × France
5 × USA
Collaborated with:
P.Sewell D.Ansaloni Y.Zheng L.Bulej W.Binder D.P.Mulligan Théophile Bastian F.Z.Nardelli P.Tuma A.Sarimbekov A.Sewe K.Memarian V.B.F.Gomes B.Davis Alexander Richardson R.N.M.Watson L.Marek
Talks about:
dynam (4) comprehens (2) program (2) languag (2) analysi (2) semant (2) type (2) link (2) java (2) use (2)

Person: Stephen Kell

DBLP DBLP: Kell:Stephen

Contributed to:

Onward! 20152015
Onward! 20142014
ECOOP 20132013
GPCE 20132013
PASTE 20132013
PLOS 20132013
OOPSLA 20102010
OOPSLA 20162016
Onward! 20172017
OOPSLA 20192019
POPL 20192019

Wrote 12 papers:

Onward-2015-Kell #process #towards
Towards a dynamic object model within Unix processes (SK), pp. 224–239.
In Search of Types (SK), pp. 227–241.
ECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
GPCE-2013-MarekKZBBTASS #framework #java #named #platform #program analysis #robust
ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
PASTE-2013-SarimbekovSKZBBA #virtual machine
A comprehensive toolchain for workload characterization across JVM languages (AS, AS, SK, YZ, WB, LB, DA), pp. 9–16.
PLOS-2013-Kell #operating system #question
The operating system: should there be one? (SK), p. 7.
OOPSLA-2010-Kell #adaptation #assembly #component #interface #using
Component adaptation and assembly using interface relations (SK), pp. 322–340.
OOPSLA-2016-Kell #fault
Dynamically diagnosing type errors in unsafe code (SK), pp. 800–819.
OOPSLA-2016-KellMS #semantics
The missing link: explaining ELF static linking, semantically (SK, DPM, PS), pp. 607–623.
Some were meant for C: the endurance of an unmanageable language (SK), pp. 229–245.
OOPSLA-2019-BastianKN #performance #reliability #stack
Reliable and fast DWARF-based stack unwinding (TB, SK, FZN), p. 24.
POPL-2019-MemarianGDKRWS #c #pointer #semantics
Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.

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.