Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
A Survey of Practical Software Adaptation Techniques
- Stephen Kell
- Computer Science
- J. Univers. Comput. Sci.
- 2008
TLDR
Dynamically diagnosing type errors in unsafe code
- Stephen Kell
- Computer Science
- OOPSLA
- 19 October 2016
TLDR
The missing link: explaining ELF static linking, semantically
- Stephen Kell, D. P. Mulligan, P. Sewell
- Computer Science
- OOPSLA
- 19 October 2016
TLDR
The mythical matched modules: overcoming the tyranny of inflexible software construction
- Stephen Kell
- Computer Science
- OOPSLA Companion
- 25 October 2009
Conventional tools yield expensive and inflexible software. By requiring that software be structured as plug-compatible modules, tools preclude out-of-order development; by treating interoperation of… Expand
Virtual machines should be invisible
- Stephen Kell, Conrad Irwin
- Computer Science
- SPLASH Workshops
- 23 October 2011
TLDR
The JVM is not observable enough (and what to do about it)
- Stephen Kell, Danilo Ansaloni, W. Binder, L. Marek
- Computer Science
- VMIL '12
- 21 October 2012
TLDR
Towards a dynamic object model within Unix processes
- Stephen Kell
- Computer Science
- Onward!
- 21 October 2015
TLDR
ShadowVM: robust and comprehensive dynamic program analysis for the java platform
- L. Marek, Stephen Kell, +6 authors Andreas Sewe
- Computer Science
- GPCE
- 2013
TLDR
Component adaptation and assembly using interface relations
- Stephen Kell
- Computer Science
- OOPSLA
- 17 October 2010
TLDR
Rethinking software connectors
- Stephen Kell
- Computer Science
- SYANCO '07
- 3 September 2007
TLDR