Stephen Kell

Software adaptation techniques appear in many disparate areas of research literature, and under many guises. Expand

This paper describes libcrunch, a system for binary-compatible run-time type checking of unmodified unsafe code, currently focusing on C. Expand

We provide the first validated formalisation of a realistic executable and linkable format (ELF), and capture aspects of the Application Binary Interfaces for four mainstream platforms (AArch64, AMD64, Power64, IA32). Expand

We motivate an alternative approach to VM design aiming to be unobtrusive in general, and prioritising foreign function interfacing and support for runtime analysis tools (such as debuggers, profilers etc.). Expand

Bytecode instrumentation is a preferred technique for building profiling, debugging and monitoring tools targeting the Java Virtual Machine (JVM), yet is fundamentally dangerous. Expand

We investigate whether it makes sense for the latter to "become VMs", by evolving Unix's user-level services to subsume those of VMs. Expand

We propose ShadowVM, a system for instrumentation-based dynamic analyses on the JVM which combines a number of techniques to greatly improve both isolation and coverage. Expand

We propose Cake, a rule-based language describing compositions using interface relations. Expand

We propose a precise characterisation of connectors, discuss how they relate to the other three classes, and contradict the suggestion that connectors and components are disjoint. Expand