Sotabase

Career

· Director of Shared Planning, South Cambridgeshire District Council2021–

Publications (44)

Exploring C semantics and pointer provenance
Proc. ACM Program. Lang. · 2019
66
cited
A Survey of Practical Software Adaptation Techniques
Journal of universal computer science (Online) · 2008
40
cited
The JVM is not observable enough (and what to do about it)
Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms · 2012
32
cited
ShadowVM: robust and comprehensive dynamic program analysis for the java platform
International Conference on Generative Programming: Concepts and Experiences · 2014
27
cited
A R Tif Ac T the Missing Link: Explaining Elf Static Linking, Semantically
26
cited
Dynamically diagnosing type errors in unsafe code
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2016
24
cited
Towards a dynamic object model within Unix processes
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2015
22
cited
An Analysis of x86-64 Inline Assembly in C Programs
International Conference on Virtual Execution Environments · 2018
20
cited
Virtual machines should be invisible
SPLASH Workshops · 2011
15
cited
Component adaptation and assembly using interface relations
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2010
14
cited
Rethinking software connectors
SYANCO '07 · 2007
14
cited
Some were meant for C: the endurance of an unmanageable language
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2017
13
cited
In Search of Types
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software · 2014
12
cited
Reliable and fast DWARF-based stack unwinding
Proc. ACM Program. Lang. · 2019
12
cited
The mythical matched modules: overcoming the tyranny of inflexible software construction
OOPSLA Companion · 2009
11
cited
Comprehensive Multiplatform Dynamic Program Analysis for Java and Android
IEEE Software · 2016
10
cited
A comprehensive toolchain for workload characterization across JVM languages
Workshop on Program Analysis For Software Tools and Engineering · 2013
8
cited
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine
European Conference on Object-Oriented Programming · 2013
8
cited
Evaluating programming systems design
Annual Workshop of the Psychology of Programming Interest Group · 2019
6
cited
The operating system: should there be one?
Programming Languages and Operating Systems · 2013
5
cited
Sotabase
Stephen Kell | Researcher Profile | Sotabase | Sotabase