Registered user since Tue 14 Oct 2014
Stephen Kell does practical research on programming systems, with the the goal of making computers work for human beings and not vice-versa, and a focus on infrastructure software including operating systems and language runtimes. Some past and present research topics include: realistic formal and metaprogrammable specifications of operating systems’ linking, loading and system call interfaces; reflective run-time services in Unix-like processes; using the latter to provide new kinds of dynamic checking in C and other ‘unsafe’ languages; and making debugging of optimized code more reliable. Currently he holds an academic position at King’s College London.
Web: https://humprog.org/~stephen Mastodon: https://recurse.social/@stephenrkell
Contributions
2025
SPLASH
2024
SPLASH
- Steering Committee Chair in Onward! Steering Committee within the Onward! Essays-track
- Committee Member in Steering Committee within the Onward! Papers-track
- Author of Source-level debugging of compiler-optimised code: ill-posed, but not impossible within the Onward! Papers-track
- Session Chair of Onward! Papers (part of Onward! Papers)
- Session Chair of Onward! Essays (part of Onward! Essays)
2023
2022
SPLASH
2021
SPLASH
Salon (<2019: Salon des Refusés)
2020
SPLASH
- 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