Research output per year
Research output per year
Fingerprint
Dive into the research topics where Stephen Kell is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 2 Conference paper
-
Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible
Kell, S. & Stinnett, J. R., 8 Aug 2024, (Accepted/In press) Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile73 Downloads (Pure) -
Accurate coverage metrics for compiler-generated debugging information
Stinnett, J. R. & Kell, S., 24 Dec 2023, (Accepted/In press) Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
DIAMETRIC (EPSRC IAA 2024-25)
Kell, S. (Primary Investigator) & academic, A. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
16/08/2024 → 15/08/2025
Project: Research
-
DIADEM: DIADEM: Debugging made dependable and measurable
Kell, S. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
16/05/2022 → 31/01/2025
Project: Research
-
CapC: CapC: Capability C semantics, tools and reasoning
Kell, S. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/07/2021 → 31/07/2023
Project: Research