Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Stephen Kell

Registered user since Tue 14 Oct 2014

Name: Stephen Kell

Bio: I did my Bachelor’s and PhD degrees at the University of Cambridge. My initial research background was in operating systems, hypervisors and the like, with a little networking and distributed systems thrown in. Moving some way up the stack, my PhD work centred on the programmer-facing problem of building software by composition of ill-matched components, for which I developed the Cake language. From January 2011 until March 2012 I was a James Martin Fellow in the Department of Computer Science at the University of Oxford, mostly focused on program analysis and the problem of combining state-space methods (e.g. symbolic execution) with syntactic methods (e.g. type checking). From May 2012 to May 2013, I was a postdoctoral researcher at USI’s Faculty of Informatics in Lugano, Switzerland, working on programmer-facing dynamic analysis infrastructure for Java-like virtual machines. From May until October 2013 I was temporarily a Research Assistant at Oracle Labs, on the Alphabet Soup project, working on native object code and debugging support in the Truffle/SubstrateVM stack. Since 2013 I have been a Research Associate back at the University of Cambridge Computer Laboratory, working on various topics with robustness in low-level programming as a recurring theme. I have also worked (some time ago) for Opal Telecom and ARM, and (more recently) and as a consultant for Ellexus.

Country: United Kingdom

Affiliation: University of Cambridge

Personal website:

Research interests: Programming infrastructure: languages, runtimes, tools, systems, environments


RUMPLE 2016Committee Member in Program Committee within the RUMPLE-track
SPLASH 2016Committee Member in Program Committee within the Workshops-track
Author of Dynamically Diagnosing Type Errors in Unsafe Code within the OOPSLA-track
Author of The Missing Link: Explaining ELF Static Linking, Semantically within the OOPSLA-track
Show activities from other conferences

SPLASH 2016-profile
View general profile