Rethinking software connectors. - Stephen Kell (SYANCO, 2007)

A Survey of Practical Software Adaptation Techniques. - Stephen Kell (J. Univers. Comput. Sci., 2008)

Configuration and adaptation of binary software components. - Stephen Kell (ICSE Companion, 2009)

The mythical matched modules: overcoming the tyranny of inflexible software construction. - Stephen Kell (OOPSLA Companion, 2009)

Component adaptation and assembly using interface relations. - Stephen Kell (OOPSLA, 2010)

Virtual machines should be invisible. - Stephen Kell; Conrad Irwin (SPLASH Workshops, 2011)

The JVM is not observable enough (and what to do about it). - Stephen Kell; Danilo Ansaloni; Walter Binder; Lukás Marek (VMIL@SPLASH, 2012)

Black-box composition of mismatched software components. - Stephen Kell (2012)

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. - Danilo Ansaloni; Stephen Kell; Yudi Zheng; Lubomír Bulej; Walter Binder; Petr Tuma 001 (ECOOP, 2013)

ShadowVM: robust and comprehensive dynamic program analysis for the java platform. - Lukás Marek; Stephen Kell; Yudi Zheng; Lubomír Bulej; Walter Binder; Petr Tuma 001; Danilo Ansaloni; Aibek Sarimbekov; Andreas Sewe (GPCE, 2013)

Dynamic optimization of bytecode instrumentation. - Yudi Zheng; Lubomír Bulej; Cheng Zhang; Stephen Kell; Danilo Ansaloni; Walter Binder (VMIL@SPLASH, 2013)

A comprehensive toolchain for workload characterization across JVM languages. - Aibek Sarimbekov; Andreas Sewe; Stephen Kell; Yudi Zheng; Walter Binder; Lubomír Bulej; Danilo Ansaloni (PASTE, 2013)

The operating system: should there be one? - Stephen Kell (PLOS@SOSP, 2013)

In Search of Types. - Stephen Kell (Onward!, 2014)

Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Stephen Kell; Walter Binder (APLAS, 2015)

Towards a dynamic object model within Unix processes. - Stephen Kell (Onward!, 2015)

Custom full-coverage dynamic program analysis for Android. - Haiyang Sun 003; Yudi Zheng; Lubomír Bulej; Walter Binder; Stephen Kell (SPLASH (Companion Volume), 2015)

Dynamically diagnosing type errors in unsafe code. - Stephen Kell (OOPSLA, 2016)

The missing link: explaining ELF static linking, semantically. - Stephen Kell; Dominic P. Mulligan; Peter Sewell (OOPSLA, 2016)

Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. - Yudi Zheng; Stephen Kell; Lubomír Bulej; Haiyang Sun 003; Walter Binder (IEEE Softw., 2016)

Some were meant for C: the endurance of an unmanageable language. - Stephen Kell (Onward!, 2017)

The inevitable death of VMs: a progress report. - Stephen Kell (Programming, 2018)

Critique of 'files as directories: some thoughts on accessing structured data within files' (2). - Stephen Kell (Programming, 2018)

An Analysis of x86-64 Inline Assembly in C Programs. - Manuel Rigger; Stefan Marr; Stephen Kell; David Leopoldseder; Hanspeter Mössenböck (VEE, 2018)

Towards seamless interfacing between dynamic languages and native code. - Guillaume Bertholon; Stephen Kell (VMIL@SPLASH, 2019)

Evaluating programming systems design. - Jonathan Edwards; Stephen Kell; Tomas Petricek 001; Luke Church (PPIG, 2019)

Reliable and fast DWARF-based stack unwinding. - Théophile Bastian; Stephen Kell; Francesco Zappa Nardelli (Proc. ACM Program. Lang., 2019)

Exploring C semantics and pointer provenance. - Kayvan Memarian; Victor B. F. Gomes; Brooks Davis; Stephen Kell; Alexander Richardson 001; Robert N. M. Watson; Peter Sewell (Proc. ACM Program. Lang., 2019)

Type checking beyond type checkers, via slice & run. - Justus Adam; Stephen Kell (TAPAS@SPLASH, 2020)

Convivial design heuristics for software systems. - Stephen Kell (Programming, 2020)

Report on the "The Future of the Shell" Panel at HotOS 2021. - Michael Greenberg 002; Konstantinos Kallas; Nikos Vasilakis; Stephen Kell (CoRR, 2021)

Accurate Coverage Metrics for Compiler-Generated Debugging Information. - J. Ryan Stinnett; Stephen Kell (CC, 2024)

Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible. - Stephen Kell; J. Ryan Stinnett (Onward!, 2024)