Kathryn E. Gray

According to our database, Kathryn E. Gray authored at least 13 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

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

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

Proc. ACM Program. Lang., 2019

2017

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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

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

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

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

Proceedings of the 48th International Symposium on Microarchitecture, 2015

2014

Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Abstract Modelling of Tethered DNA Circuits.

Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips

Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2009

Logical Testing.

Kathryn E. Gray, Alan Mycroft

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Safe Cross-Language Inheritance.

Kathryn E. Gray

Proceedings of the ECOOP 2008, 2008

2006

Towards Customizable Pedagogic Programming Languages.

Kathryn E. Gray

PhD thesis, 2006

Design of class hierarchies: an introduction to OO program design.

Viera K. Proulx, Kathryn E. Gray

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

2005

Fine-grained interoperability through mirrors and contracts.

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2003

ProfessorJ: a gradual introduction to Java through language levels.

Kathryn E. Gray, Matthew Flatt

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

2000

Transformation-by-Example for XML.

Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke

Proceedings of the Practical Aspects of Declarative Languages, 2000