Kathryn E. Gray

Publication Activity (10 Years)

Years Active: 2000-2019
Publications (10 Years): 3

Top Topics

Layered Architecture

Database Systems

Formal Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc. ACM Program. Lang. 3 (POPL) (2019)
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL (2017)
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
Modelling the ARMv8 architecture, operationally: concurrency and ISA. POPL (2016)
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO (2015)
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
Lem: reusable engineering of real-world semantics. ICFP (2014)
Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips
Abstract Modelling of Tethered DNA Circuits. DNA (2014)
Kathryn E. Gray, Alan Mycroft
Logical Testing. FASE (2009)
Kathryn E. Gray
Safe Cross-Language Inheritance. ECOOP (2008)
Viera K. Proulx, Kathryn E. Gray
Design of class hierarchies: an introduction to OO program design. SIGCSE (2006)
Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
Fine-grained interoperability through mirrors and contracts. OOPSLA (2005)
Kathryn E. Gray, Matthew Flatt
ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion (2003)
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
Transformation-by-Example for XML. PADL (2000)