Kathryn E. Gray
Kathryn E. Gray
Verified email at cl.cam.ac.uk
TitleCited byYear
Modelling the ARMv8 architecture, operationally: Concurrency and ISA
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...
ACM SIGPLAN Notices 51 (1), 608-621, 2016
852016
Lem: reusable engineering of real-world semantics
DP Mulligan, S Owens, KE Gray, T Ridge, P Sewell
ACM SIGPLAN Notices 49 (9), 175-188, 2014
612014
Fine-grained interoperability through mirrors and contracts
KE Gray, RB Findler, M Flatt
ACM SIGPLAN Notices 40 (10), 231-245, 2005
592005
ProfessorJ: a gradual introduction to Java through language levels
KE Gray, M Flatt
Companion of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003
532003
Transformation-by-example for XML
S Krishnamurthi, KE Gray, PT Graunke
International Symposium on Practical Aspects of Declarative Languages, 249-262, 2000
352000
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
KE Gray, G Kerneis, D Mulligan, C Pulte, S Sarkar, P Sewell
Proceedings of the 48th International Symposium on Microarchitecture, 635-646, 2015
242015
Safe cross-language inheritance
KE Gray
European Conference on Object-Oriented Programming, 52-75, 2008
242008
Design of class hierarchies: an introduction to OO program design
VK Proulx, KE Gray
ACM SIGCSE Bulletin 38 (1), 288-292, 2006
192006
Mixed-size concurrency: ARM, POWER, C/C++ 11, and SC
S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ...
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
172017
Implementing extensible theorem provers
K Fisler, S Krishnamurthi, KE Gray
International Conference on Theorem Proving in Higher-Order Logic: Emerging …, 1999
101999
Compiling Java to PLT Scheme
KE Gray, M Flatt
Proc. 5th Workshop on Scheme and Functional Programming, 53-61, 2004
82004
How to Design Classes
M Felleisen, RB Findler, M Flatt, K Gray, S Krishnamurthi, VK Proulx
preparation, 2011
62011
Interoperability in a scripted world: Putting inheritance & prototypes together
KE Gray
Foundations of Object-Oriented Languages, 2011
52011
Logical Testing
KE Gray, A Mycroft
International Conference on Fundamental Approaches to Software Engineering …, 2009
52009
How to design class hierarchies.
M Felleisen, RB Findler, M Flatt, KE Gray, S Krishnamurthi, VK Proulx
FDPE@ ICFP, 1, 2005
42005
Linguistic support for unit testing
KE Gray, M Felleisen
Technical Report UUCS-07-013, University of Utah, 2007
22007
Towards customizable pedagogic programming languages
KE Gray
The University of Utah, 2006
12006
Research data supporting “Mixed-size Concurrency: ARM, POWER, C/C++ 11, and SC”
S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ...
University of Cambridge, 2016
2016
JSTyper: Type inference fo JavaScript
C Little, KE Gray, S Owens
2015
System tests from unit tests
KE Gray, A Mycroft
University of Cambridge, Computer Laboratory, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20