Stephen Kell

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 16

Top Venues

Programming

Onward!

Proc. ACM Program. Lang.

CoRR

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

J. Ryan Stinnett, Stephen Kell
Accurate Coverage Metrics for Compiler-Generated Debugging Information. CoRR (2024)
J. Ryan Stinnett, Stephen Kell
Accurate Coverage Metrics for Compiler-Generated Debugging Information. CC (2024)
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell
Report on the "The Future of the Shell" Panel at HotOS 2021. CoRR (2021)
Justus Adam, Stephen Kell
Type checking beyond type checkers, via slice & run. TAPAS@SPLASH (2020)
Stephen Kell
Convivial design heuristics for software systems. Programming (2020)
Guillaume Bertholon, Stephen Kell
Towards seamless interfacing between dynamic languages and native code. VMIL@SPLASH (2019)
Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church
Evaluating programming systems design. PPIG (2019)
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3 (POPL) (2019)
Théophile Bastian, Stephen Kell, Francesco Zappa Nardelli
Reliable and fast DWARF-based stack unwinding. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Stephen Kell
Critique of 'files as directories: some thoughts on accessing structured data within files' (2). Programming (2018)
Stephen Kell
The inevitable death of VMs: a progress report. Programming (2018)
Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck
An Analysis of x86-64 Inline Assembly in C Programs. VEE (2018)
Stephen Kell
Some were meant for C: the endurance of an unmanageable language. Onward! (2017)
Stephen Kell, Dominic P. Mulligan, Peter Sewell
The missing link: explaining ELF static linking, semantically. OOPSLA (2016)
Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun, Walter Binder
Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Softw. 33 (4) (2016)
Stephen Kell
Dynamically diagnosing type errors in unsafe code. OOPSLA (2016)
Stephen Kell
Towards a dynamic object model within Unix processes. Onward! (2015)
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. APLAS (2015)
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, Stephen Kell
Custom full-coverage dynamic program analysis for Android. SPLASH (Companion Volume) (2015)
Stephen Kell
In Search of Types. Onward! (2014)
Yudi Zheng, Lubomír Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder
Dynamic optimization of bytecode instrumentation. VMIL@SPLASH (2013)
Stephen Kell
The operating system: should there be one? PLOS@SOSP (2013)
Lukás Marek, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma, Danilo Ansaloni, Aibek Sarimbekov, Andreas Sewe
ShadowVM: robust and comprehensive dynamic program analysis for the java platform. GPCE (2013)
Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. ECOOP (2013)
Aibek Sarimbekov, Andreas Sewe, Stephen Kell, Yudi Zheng, Walter Binder, Lubomír Bulej, Danilo Ansaloni
A comprehensive toolchain for workload characterization across JVM languages. PASTE (2013)
Stephen Kell, Danilo Ansaloni, Walter Binder, Lukás Marek
The JVM is not observable enough (and what to do about it). VMIL@SPLASH (2012)
Stephen Kell, Conrad Irwin
Virtual machines should be invisible. SPLASH Workshops (2011)
Stephen Kell
Component adaptation and assembly using interface relations. OOPSLA (2010)
Stephen Kell
Configuration and adaptation of binary software components. ICSE Companion (2009)
Stephen Kell
The mythical matched modules: overcoming the tyranny of inflexible software construction. OOPSLA Companion (2009)
Stephen Kell
A Survey of Practical Software Adaptation Techniques. J. Univers. Comput. Sci. 14 (13) (2008)
Stephen Kell
Rethinking software connectors. SYANCO (2007)

Stephen Kell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephen Kell