Transformation-by-Example for XML. - Shriram Krishnamurthi; Kathryn E. Gray; Paul T. Graunke (PADL, 2000)

ProfessorJ: a gradual introduction to Java through language levels. - Kathryn E. Gray; Matthew Flatt (OOPSLA Companion, 2003)

Fine-grained interoperability through mirrors and contracts. - Kathryn E. Gray; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2005)

Design of class hierarchies: an introduction to OO program design. - Viera K. Proulx; Kathryn E. Gray (SIGCSE, 2006)

Towards Customizable Pedagogic Programming Languages. - Kathryn E. Gray (2006)

Safe Cross-Language Inheritance. - Kathryn E. Gray (ECOOP, 2008)

Logical Testing. - Kathryn E. Gray; Alan Mycroft (FASE, 2009)

Abstract Modelling of Tethered DNA Circuits. - Matthew R. Lakin; Rasmus L. Petersen; Kathryn E. Gray; Andrew Phillips (DNA, 2014)

Lem: reusable engineering of real-world semantics. - Dominic P. Mulligan; Scott Owens; Kathryn E. Gray; Tom Ridge; Peter Sewell (ICFP, 2014)

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. - Kathryn E. Gray; Gabriel Kerneis; Dominic P. Mulligan; Christopher Pulte; Susmit Sarkar; Peter Sewell (MICRO, 2015)

Modelling the ARMv8 architecture, operationally: concurrency and ISA. - Shaked Flur; Kathryn E. Gray; Christopher Pulte; Susmit Sarkar; Ali Sezgin; Luc Maranget; Will Deacon; Peter Sewell (POPL, 2016)

Mixed-size concurrency: ARM, POWER, C/C++11, and SC. - Shaked Flur; Susmit Sarkar; Christopher Pulte; Kyndylan Nienhuis; Luc Maranget; Kathryn E. Gray; Ali Sezgin; Mark Batty; Peter Sewell (POPL, 2017)

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. - Alasdair Armstrong; Thomas Bauereiss; Brian Campbell 001; Alastair Reid 001; Kathryn E. Gray; Robert M. Norton; Prashanth Mundkur; Mark Wassell; Jon French; Christopher Pulte; Shaked Flur; Ian Stark; et al. (Proc. ACM Program. Lang., 2019)