Exploring C semantics and pointer provenance
2019 · Proceedings of the ACM on Programming Languages · 49 citations
https://doi.org/10.1145/3290380
S
Stephen Kell
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
50
Papers
337
Citations
11
h-index
13
i10-index
Stephen Kell is an academic researcher from King's College London. The author has contributed to research in topics: Parallel Computing and Optimization Techniques & Security and Verification in Computing & Advanced Software Engineering Methodologies. The author has an h-index of 11, co-authored 43 publications.
ORCID: 0000-0002-2702-5983Papers by this author
worksAccurate Coverage Metrics for Compiler-Generated Debugging Information
2024 · 3 citations
https://doi.org/10.1145/3640537.3641578
Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible
2024 · 3 citations
https://doi.org/10.1145/3689492.3690047
A General-Purpose Synthetic Filesystem
2005 · 0 citations
Debugging Debugging Information using Dynamic Call Trees (artifact)
2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations
https://doi.org/10.5281/zenodo.18392052
Debugging Debugging Information using Dynamic Call Trees (artifact)
2026 · Zenodo (CERN European Organization for Nuclear Research) · 0 citations
https://doi.org/10.5281/zenodo.18392053
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat