Kathryn E. Gray

13 papers A* 3A 4B 2C 1Journal 1Unranked 1
YearRankTypeTitle / Venue / Authors
2019 J jnl
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang.
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
2017 A* conf
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
POPL
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
2016 A* conf
Modelling the ARMv8 architecture, operationally: concurrency and ISA.
POPL
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
2015 A* conf
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
MICRO
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
2014 B conf
Abstract Modelling of Tethered DNA Circuits.
DNA
Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips
2014 A conf
Lem: reusable engineering of real-world semantics.
ICFP
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
2009 B conf
Logical Testing.
FASE
Kathryn E. Gray, Alan Mycroft
2008 A conf
Safe Cross-Language Inheritance.
ECOOP
Kathryn E. Gray
2006 A conf
Design of class hierarchies: an introduction to OO program design.
SIGCSE
Viera K. Proulx, Kathryn E. Gray
2006 — —
Towards Customizable Pedagogic Programming Languages.
Kathryn E. Gray
2005 A conf
Fine-grained interoperability through mirrors and contracts.
OOPSLA
Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
2003 — conf
ProfessorJ: a gradual introduction to Java through language levels.
OOPSLA Companion
Kathryn E. Gray, Matthew Flatt
2000 C conf
Transformation-by-Example for XML.
PADL
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke