| 2024 | CC | Accurate Coverage Metrics for Compiler-Generated Debugging Information. | J. Ryan Stinnett, Stephen Kell |
| 2024 | Onward | Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible. | Stephen Kell, J. Ryan Stinnett |
| 2020 | OOPSLA | Type checking beyond type checkers, via slice & run. | Justus Adam, Stephen Kell |
| 2019 | OOPSLA | Towards seamless interfacing between dynamic languages and native code. | Guillaume Bertholon, Stephen Kell |
| 2018 | VEE | An Analysis of x86-64 Inline Assembly in C Programs. | Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mssenbck |
| 2017 | OOPSLA | Some were meant for C: the endurance of an unmanageable language. | Stephen Kell |
| 2016 | OOPSLA | Dynamically diagnosing type errors in unsafe code. | Stephen Kell |
| 2016 | OOPSLA | The missing link: explaining ELF static linking, semantically. | Stephen Kell, Dominic P. Mulligan, Peter Sewell |
| 2015 | APLAS | Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. | Haiyang Sun, Yudi Zheng, Lubomr Bulej, Stephen Kell, Walter Binder |
| 2015 | OOPSLA | Towards a dynamic object model within Unix processes. | Stephen Kell |
| 2015 | OOPSLA | Custom full-coverage dynamic program analysis for Android. | Haiyang Sun, Yudi Zheng, Lubomr Bulej, Walter Binder, Stephen Kell |
| 2014 | OOPSLA | In Search of Types. | Stephen Kell |
| 2013 | ECOOP | Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. | Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomr Bulej, Walter Binder, Petr Tuma |
| 2013 | GPCE | ShadowVM: robust and comprehensive dynamic program analysis for the java platform. | Luks Marek, Stephen Kell, Yudi Zheng, Lubomr Bulej, Walter Binder, Petr Tuma, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe |
| 2013 | OOPSLA | Dynamic optimization of bytecode instrumentation. | Yudi Zheng, Lubomr Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder |
| 2013 | SOSP | The operating system: should there be one? | Stephen Kell |
| 2012 | OOPSLA | The JVM is not observable enough (and what to do about it). | Stephen Kell, Danilo Ansaloni, Walter Binder, Luks Marek |
| 2011 | OOPSLA | Virtual machines should be invisible. | Stephen Kell, Conrad Irwin |
| 2010 | OOPSLA | Component adaptation and assembly using interface relations. | Stephen Kell |
| 2009 | ICSE | Configuration and adaptation of binary software components. | Stephen Kell |
| 2009 | OOPSLA | The mythical matched modules: overcoming the tyranny of inflexible software construction. | Stephen Kell |