Stephen Kell

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