default search action

combined dblp search
author search
venue search
publication search

ask others

Stephen Kell

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/StinnettK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/StinnettK24
J. Ryan Stinnett, Stephen Kell:
Accurate Coverage Metrics for Compiler-Generated Debugging Information. CC 2024: 126-136
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-04811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-04811
J. Ryan Stinnett, Stephen Kell:
Accurate Coverage Metrics for Compiler-Generated Debugging Information. CoRR abs/2402.04811 (2024)
2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-11016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-11016
Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell:
Report on the "The Future of the Shell" Panel at HotOS 2021. CoRR abs/2109.11016 (2021)
2020
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AdamK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AdamK20
Justus Adam, Stephen Kell:
Type checking beyond type checkers, via slice & run. TAPAS@SPLASH 2020: 23-29
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/Kell20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/Kell20
Stephen Kell:
Convivial design heuristics for software systems. Programming 2020: 144-148

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BastianKN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BastianKN19
Théophile Bastian, Stephen Kell, Francesco Zappa Nardelli:
Reliable and fast DWARF-based stack unwinding. Proc. ACM Program. Lang. 3(OOPSLA): 146:1-146:24 (2019)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MemarianGDKRWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MemarianGDKRWS19
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): 67:1-67:32 (2019)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BertholonK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BertholonK19
Guillaume Bertholon, Stephen Kell:
Towards seamless interfacing between dynamic languages and native code. VMIL@SPLASH 2019: 38-47
[c22]
- view
  - electronic edition @ ppig.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ppig/EdwardsKPC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppig/EdwardsKPC19
Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church:
Evaluating programming systems design. PPIG 2019
2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/Kell18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/Kell18
Stephen Kell:
The inevitable death of VMs: a progress report. Programming 2018: 61-62
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/Kell18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/Kell18a
Stephen Kell:
Critique of 'files as directories: some thoughts on accessing structured data within files' (2). Programming 2018: 175-179
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/vee/RiggerMKLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vee/RiggerMKLM18
Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck:
An Analysis of x86-64 Inline Assembly in C Programs. VEE 2018: 84-99
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/2018vmil
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/2018vmil
Stephen Kell, Stefan Marr:
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL@SPLASH 2018, Boston, MA, USA, November 4, 2018. ACM 2018, ISBN 978-1-4503-6071-5 [contents]
2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell17
Stephen Kell:
Some were meant for C: the endurance of an unmanageable language. Onward! 2017: 229-245
2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/software/ZhengKBSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/ZhengKBSB16
Yudi Zheng, Stephen Kell, Lubomír Bulej, Haiyang Sun, Walter Binder:
Comprehensive Multiplatform Dynamic Program Analysis for Java and Android. IEEE Softw. 33(4): 55-63 (2016)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KellMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KellMS16
Stephen Kell, Dominic P. Mulligan, Peter Sewell:
The missing link: explaining ELF static linking, semantically. OOPSLA 2016: 607-623
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell16
Stephen Kell:
Dynamically diagnosing type errors in unsafe code. OOPSLA 2016: 800-819
2015
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/SunZBKB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/SunZBKB15
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder:
Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. APLAS 2015: 356-365
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/SunZBBK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/SunZBBK15
Haiyang Sun, Yudi Zheng, Lubomír Bulej, Walter Binder, Stephen Kell:
Custom full-coverage dynamic program analysis for Android. SPLASH (Companion Volume) 2015: 7-8
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell15
Stephen Kell:
Towards a dynamic object model within Unix processes. Onward! 2015: 224-239
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell14
Stephen Kell:
In Search of Types. Onward! 2014: 227-241
2013
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnsaloniKZBBT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnsaloniKZBBT13
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: 352-377
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/MarekKZBBTASS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/MarekKZBBTASS13
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: 105-114
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ZhengBZKAB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ZhengBZKAB13
Yudi Zheng, Lubomír Bulej, Cheng Zhang, Stephen Kell, Danilo Ansaloni, Walter Binder:
Dynamic optimization of bytecode instrumentation. VMIL@SPLASH 2013: 21-30
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/SarimbekovSKZBBA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/SarimbekovSKZBBA13
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: 9-16
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/Kell13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/Kell13
Stephen Kell:
The operating system: should there be one? PLOS@SOSP 2013: 8:1-8:7
2012
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Kell12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Kell12
Stephen Kell:
Black-box composition of mismatched software components. University of Cambridge, UK, 2012
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KellABM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KellABM12
Stephen Kell, Danilo Ansaloni, Walter Binder, Lukás Marek:
The JVM is not observable enough (and what to do about it). VMIL@SPLASH 2012: 33-38
2011
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KellI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KellI11
Stephen Kell, Conrad Irwin:
Virtual machines should be invisible. SPLASH Workshops 2011: 289-296
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell10
Stephen Kell:
Component adaptation and assembly using interface relations. OOPSLA 2010: 322-340

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Kell09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Kell09
Stephen Kell:
Configuration and adaptation of binary software components. ICSE Companion 2009: 211-214
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Kell09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Kell09
Stephen Kell:
The mythical matched modules: overcoming the tyranny of inflexible software construction. OOPSLA Companion 2009: 881-888
2008
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/Kell08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/Kell08
Stephen Kell:
A Survey of Practical Software Adaptation Techniques. J. Univers. Comput. Sci. 14(13): 2110-2157 (2008)
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Kell07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Kell07
Stephen Kell:
Rethinking software connectors. SYANCO 2007: 1-12

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.