Kathryn E Gray's Publications

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA In proceedings of POPL 2016
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Luc Maranget, Will Deacon, Peter Sewell. ACM digital library
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors In proceedings of MICRO-48 2015
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell. ACM digital lirbrary
Lem: Reusable engineering of real-world semantics In proceedings of IFCP 2014
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell. ACM digital library
Abstract Modelling of tethered DNA circuits In proceedings of DNA20 2014
Matthew R. Lakin, Rasmus Peterson, Kathryn E. Gray, Andrew Phillips Springer copy
System Tests from Unit Tests University of Cambridge Techreport no 776, 2010
Kathryn E. Gray and Alan Mycroft Author copy
Interoperability in a Scripted World:
Putting Inheritance and Prototypes Together
Presented at FOOL 2010
Kathryn E. Gray Author copy
"A Model of Java/Scheme Interoperability" Chapter of Semantics Engineering with PLT Redex
Edited by
Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen.
MIT Press 2009
Kathryn E. Gray pre-print copy on request
Logical Testing:
Hoare-style Specification Meets Executable Validation
In proceedings of FASE 2009
Kathryn E. Gray and Alan Mycroft Springer copy : Author copy
Safe Cross-Language Inheritance In proceedings of ECOOP 2008
Kathryn E. Gray Springer copy : Author copy Model sources
Linguistic Support for Unit Tests University of Utah Techreport UUCS-07-013 2007
Kathryn E. Gray and Matthias Felleisen Author copy
Towards Customizable Pedagogic Programming Languages PhD Dissertation, University of Utah, School of Computing, August 2006.
Kathryn E. Gray Abstract Full thesis
Fine Grained Interoperability through Mirrors and Contracts In proceedings of OOPSLA 2005
Kathryn E Gray, Robert Bruce Findler, and Matthew Flatt ACM copy : Author copy
Compiling Java to PLT Scheme In Scheme Workshop 2004
Kathryn E Gray and Matthew Flatt Author copy
Design of Class Hierarchies: An Introduction to OO Program Design In proceedings of SIGCSE 2006
Viera K. Proulx and Kathryn E. Gray ACM copy
How to Design Class Hierarchies Presented at Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts, 2005
Viera K. Proulx and Kathryn E. Gray. Workshop draft
ProfessorJ: A Gradual Intro to Java through Language Levels In proceedings of OOPSLA Educators' Symposium 2003
Kathryn E. Gray and Matthew Flatt ACM copy : Author copy
Transformation-by-example for XML. In proceedings of PADL 2000
Shriram Krishnamuthi, Kathryn E. Gray, and Paul Graunke Springer copy
Implementing Extensible Theorem Provers. In TPHOLs:Emerging Trends 1999
Kathi Fisler, Shriram Krishnamurthi and Kathryn E. Gray