Kathryn E. Gray
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2000–2017
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | 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 |
| 2016 | POPL | 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 |
| 2015 | MICRO | 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 |
| 2014 | DNA | Abstract Modelling of Tethered DNA Circuits. | Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips |
| 2014 | ICFP | Lem: reusable engineering of real-world semantics. | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2009 | FASE | Logical Testing. | Kathryn E. Gray, Alan Mycroft |
| 2008 | ECOOP | Safe Cross-Language Inheritance. | Kathryn E. Gray |
| 2006 | SIGCSE | Design of class hierarchies: an introduction to OO program design. | Viera K. Proulx, Kathryn E. Gray |
| 2005 | OOPSLA | Fine-grained interoperability through mirrors and contracts. | Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt |
| 2003 | OOPSLA | ProfessorJ: a gradual introduction to Java through language levels. | Kathryn E. Gray, Matthew Flatt |
| 2000 | PADL | Transformation-by-Example for XML. | Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |