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

Salon Littéraire 2021	Committee Member in Organizing Committee within the Salon Littéraire 2021-track
SPLASH 2021	University of Kent in Onward! Steering Committee within the Onward! Papers-track Committee Member in Steering Committee University of Kent in Onward! Steering Committee within the Onward! Essays-track
SPLASH 2010
PLDI 2021	Committee Member in Program Committee within the PLDI Research Papers-track
TAPAS 2020	Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track
VMIL 2020	Committee Member in Steering Committee within the VMIL 2020-track
Convivial Computing Salon 2020	Author of Convivial design heuristics for software systems within the Salon 2020-track Committee Member in Program Committee within the Salon 2020-track
MoreVMs'20	Committee Member in Program Committee within the MoreVMs'20-track
PX/20	Committee Member in Program Committee within the PX/20-track
ECOOP 2020	Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	Committee Member in Steering Committee Session Chair of F (part of Keynotes) Committee Member in Onward! Steering Committee within the Onward! Papers-track Session Chair of T-5-Onward (part of Onward! Essays) Session Chair of F (part of Keynotes) Session Chair of T-5-Onward (part of Onward! Essays) Session Chair of T-3-Onward (part of Onward! Papers) Onward! Papers Chair in Organizing Committee Committee Member in Onward! Steering Committee within the Onward! Essays-track PC Chair in Program Committee within the Onward! Papers-track
PLDI 2020	Session Chair of Session 10 (part of Ask Me Anything) Committee Member in External Review Committee within the PLDI Research Papers-track
VMIL 2019	Author of Towards seamless interfacing between dynamic languages and native code within the VMIL 2019-track
‹Programming› 2020	Committee Member in Program Committee within the Research Papers-track
ISMM 2019	PC Member in Program Committee
ICW 2019	Committee Member in Program Committee within the ICW 2019-track
Off the Beaten Track 2019	Author of De-escalating Software (Keynote) within the Off the Beaten Track 2019-track
PX/19	Committee Member in Program Committee within the PX/19-track
Salon des Refusés 2019	Committee Member in Program Committee within the Salon des Refusés 2019-track
SPLASH 2019	Committee Member in External Review Committee within the OOPSLA-track Author of Reliable and Fast DWARF-Based Stack Unwinding within the OOPSLA-track Author of Reliable and Fast DWARF-based Unwinding within the OOPSLA Artifacts-track Session Chair of Testing (part of OOPSLA)
ECOOP 2019	Author 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› 2019	Committee Member in Program Committee within the Research Papers-track
POPL 2019	Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
VMIL 2018	PC Co-Chair in Program Committee within the VMIL 2018-track Session Chair of Keynote: Stenman (part of VMIL 2018)
MoreVMs 2018	Author of The inevitable death of VMs: a progress report within the MoreVMs 2018-track
Salon des Refusés 2018	Author 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 2018	Author of An Analysis of x86-64 Inline Assembly in C Programs within the Research Papers-track
Onward! 2017	Author of Some Were Meant For C: The endurance of an unmanageable language within the Onward! Essays-track
Salon des Refusés 2017	Author 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 2016	Committee Member in Program Committee within the RUMPLE-track
PEPM 2016	Committee Member in Program Committee within the PEPM-track
PLATEAU 2015	Committee Member in Program Committee within the PLATEAU-track
SPLASH 2016	Committee 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 2015	Author of Complementary Directions for Truffle Languages and Liballocs within the Truffle-track
Onward! 2015	Committee 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 2015	Author of Custom Full-Coverage Dynamic Program Analysis for Android within the Demos-track
Onward! 2014	Presenter of In search of types within the Onward! Essays-track
GPCE 2013	Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track
VMIL 2012	Author of The JVM is not observable enough (and what to do about it) within the VMIL 2012-track