Stephen Kell

Registered user since Tue 14 Oct 2014

Name: Stephen Kell

Affiliation: University of Kent

Personal website: http://www.cs.kent.ac.uk/people/staff/srk21

Contributions

‹Programming› 2020Committee Member in Program Committee within the Research Papers-track
ISMM 2019PC Member in Program Committee
ICW 2019Committee Member in Program Committee within the ICW 2019-track
Off the Beaten Track 2019Author of De-escalating Software (Keynote) within the Off the Beaten Track 2019-track
PX/19Committee Member in Program Committee within the PX/19-track
Salon des Refusés 2019Committee Member in Program Committee within the Salon des Refusés 2019-track
SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
ECOOP 2019Author of Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection within the Curry On-track
Session Chair of Concurrency and Parallelism (part of Research Papers)
‹Programming› 2019Committee Member in Program Committee within the Research Papers-track
POPL 2019Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
VMIL 2018PC co-chair in Program Committee within the VMIL 2018-track
Session Chair of Keynote: Stenman (part of VMIL 2018)
MoreVMs 2018Author of The inevitable death of VMs: a progress report within the MoreVMs 2018-track
Salon des Refusés 2018Author of Critique (2) - Files as Directories: Some Thoughts on Accessing Structured Data Within Files within the Salon des Refusés 2018-track
Committee Member in Programme Committee within the Salon des Refusés 2018-track
VEE 2018Author of An Analysis of x86-64 Inline Assembly in C Programs within the Research Papers-track
Onward! 2017Author of Some Were Meant For C: The endurance of an unmanageable language within the Onward! Essays-track
Salon des Refusés 2017Author of Review: A Certain Tendency Of The Database Community within the Salon des Refusés-track
Committee Member in Program Committee within the Salon des Refusés-track
RUMPLE 2016Committee Member in Program Committee within the RUMPLE-track
PEPM 2016Committee Member in Program Committee within the PEPM-track
PLATEAU 2015Committee Member in Program Committee within the PLATEAU-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
Truffle 2015Author of Complementary Directions for Truffle Languages and Liballocs within the Truffle-track
Onward! 2015Committee Member in Program Committee within the Onward! Essays-track
Author of Towards a dynamic object model within Unix processes within the Onward! Papers-track
Session Chair of Session 2 (part of Onward! Essays)
SPLASH 2015Author of Custom Full-Coverage Dynamic Program Analysis for Android within the Demos-track
Onward! 2014Presenter of In search of types within the Onward! Essays-track
GPCE 2013Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track
VMIL 2012Author of The JVM is not observable enough (and what to do about it) within the VMIL 2012-track