Stephen Kell

Registered user since Tue 14 Oct 2014

Name:Stephen Kell
Country:United Kingdom
Affiliation:King's College London

Contributions

‹Programming› 2024 Committee Member in Program Committee within the Research Papers-track
SPLASH 2023 Steering Committee Chair in Onward! Steering Committee within the Onward! Essays-track
Committee Member in Steering Committee
Steering Committee Chair in Steering Committee within the Onward! Papers-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
Committee Member in Steering Committee
Organizer in Onward! Steering Committee within the Onward! Papers-track
Organizer in Onward! Steering Committee within the Onward! Essays-track
ASE 2022 Committee Member in Program Committee within the Late Breaking Results-track
SPLASH 2021 Author of Future of Conferences within the SIGPLAN Business-track
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
ICOOOLPS 2021 Author of The Two Cultures of Language Implementation within the ICOOOLPS-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
Salon Littéraire 2021 Committee Member in Organizing Committee within the Salon Littéraire 2021-track
TAPAS 2020 Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-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
VMIL 2020 Committee Member in Steering Committee within the VMIL 2020-track
ECOOP 2020 Committee Member in Program Committee within the Research 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
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
‹Programming› 2020 Committee Member in Program Committee within the Research Papers-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
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)
VMIL 2019 Author of Towards seamless interfacing between dynamic languages and native code within the VMIL 2019-track
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)
ISMM 2019 PC Member in Program Committee
ICW 2019 Committee Member in Program Committee within the ICW 2019-track
‹Programming› 2019 Committee Member in Program Committee within the Research Papers-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
POPL 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
Off the Beaten Track 2019 Author of De-escalating Software (Keynote) within the Off the Beaten Track 2019-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
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
PEPM 2016 Committee Member in Program Committee within the PEPM-track
SPLASH 2015 Author of Custom Full-Coverage Dynamic Program Analysis for Android within the Demos-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)
PLATEAU 2015 Committee Member in Program Committee within the PLATEAU-track
Truffle 2015 Author of Complementary Directions for Truffle Languages and Liballocs within the Truffle-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