13
Publications
251
Citations
11
H-Index
2007
Active since
Stephen Kell is an author at University of Cambridge specializing in software engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSystem SoftwareSoftware TestingFormal MethodsSoftware DesignFormal Verification
Publications per year
2007–2020
13
13
Exploring C semantics and pointer provenance
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis et al. · Proceedings of the ACM on Programming Languages · 2019 · 49 citations · Full text
The JVM is not observable enough (and what to do about it)
Stephen Kell, Danilo Ansaloni, Walter Binder et al. · 2012 · 30 citations
A Survey of Practical Software Adaptation Techniques
Stephen Kell · 2020 · 27 citations · Full text
Towards a dynamic object model within Unix processes
Stephen Kell · 2015 · 22 citations
Lukáš Marek, Stephen Kell, Yudi Zheng et al. · 2013 · 20 citations · Full text
Rows per page
1–5 of 13