Stephen Kell

According to our database1, Stephen Kell authored at least 32 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Accurate Coverage Metrics for Compiler-Generated Debugging Information.
Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

2021
Report on the "The Future of the Shell" Panel at HotOS 2021.
CoRR, 2021

2020
Convivial design heuristics for software systems.
Proceedings of the Programming'20: 4th International Conference on the Art, 2020

Type checking beyond type checkers, via slice & run.
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

2019
Exploring C semantics and pointer provenance.
Proc. ACM Program. Lang., 2019

Reliable and fast DWARF-based stack unwinding.
Proc. ACM Program. Lang., 2019

Evaluating programming systems design.
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

Towards seamless interfacing between dynamic languages and native code.
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

2018
An Analysis of x86-64 Inline Assembly in C Programs.
Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2018

Critique of 'files as directories: some thoughts on accessing structured data within files' (2).
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

The inevitable death of VMs: a progress report.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017
Some were meant for C: the endurance of an unmanageable language.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
Comprehensive Multiplatform Dynamic Program Analysis for Java and Android.
IEEE Softw., 2016

The missing link: explaining ELF static linking, semantically.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Dynamically diagnosing type errors in unsafe code.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015
Custom full-coverage dynamic program analysis for Android.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Towards a dynamic object model within Unix processes.
Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
In Search of Types.
Proceedings of the Onward! 2014, 2014

2013
The operating system: should there be one?
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

A comprehensive toolchain for workload characterization across JVM languages.
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Dynamic optimization of bytecode instrumentation.
Proceedings of the VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, 2013

ShadowVM: robust and comprehensive dynamic program analysis for the java platform.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
Black-box composition of mismatched software components.
PhD thesis, 2012

The JVM is not observable enough (and what to do about it).
Proceedings of the VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012

2011
Virtual machines should be invisible.
Proceedings of the SPLASH'11 Workshops, 2011

2010
Component adaptation and assembly using interface relations.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009
The mythical matched modules: overcoming the tyranny of inflexible software construction.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Configuration and adaptation of binary software components.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
A Survey of Practical Software Adaptation Techniques.
J. Univers. Comput. Sci., 2008

2007
Rethinking software connectors.
Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, 2007


  Loading...