| Interoperability in a Scripted World | In submission | |
| Kathryn E. Gray | copy on request |
| Interoperability in a Scripted World: Putting Inheritance and Prototypes Together |
Presented at FOOL 2010 | |
| Kathryn E. Gray | Author copy |
| Safe Cross-Language Inheritance | In proceedings of ECOOP 2008 | |
| Kathryn E. Gray | Springer copy : Author copy | Model sources |
| "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 |
| 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 |
| System Tests from Unit Tests | University of Cambridge Techreport no 776, 2010 |
| Kathryn E. Gray and Alan Mycroft | Author copy |
| Logical Testing: Hoare-style Specification Meets Executable Validation |
In proceedings of FASE 2009 |
| Kathryn E. Gray and Alan Mycroft | Springer copy : Author copy |
| Linguistic Support for Unit Tests | University of Utah Techreport UUCS-07-013 2007 |
| Kathryn E. Gray and Matthias Felleisen | 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 |