Concepedia

Kathryn E. Gray

KE

Statistics

Publications

11

Citations

581

H-Index

10

Active since

2003

Affiliations

University of Cambridge(Current)

University of St Andrews

University of Utah

University of Kent

ARM (United Kingdom)

Kathryn E. Gray is an author at University of Cambridge specializing in program analysis, engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware DesignSoftware EngineeringSoftware AnalysisSystem SoftwareFormal VerificationComputer Engineering

Publications per year

2003–2019

11

Publications

11

Modelling the ARMv8 architecture, operationally: concurrency and ISA

Shaked Flur, Kathryn E. Gray, Christopher Pulte et al. · 2016 · 135 citations · Full text

Engineering, Hardware Verification Language, Computer Architecture +18

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 111 citations · Full text

Engineering, Hardware Verification Language, Verification +21

Lem

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray et al. · 2014 · 76 citations · Full text

Engineering, Verification, Software Engineering +17

Kathryn E. Gray, Matthew Flatt · 2003 · 60 citations

Engineering, Teaching, Java Language +14

Fine-grained interoperability through mirrors and contracts

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt · 2005 · 59 citations

Contract Operations, Engineering, Verification +21

Rows per page

1–5 of 11