| 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 | 196 | 2016 |
| 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 | 120 | 2014 |
| Fine-grained interoperability through mirrors and contracts KE Gray, RB Findler, M Flatt ACM SIGPLAN Notices 40 (10), 231-245, 2005 | 76 | 2005 |
| 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 | 72 | 2003 |
| 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 | 61 | 2015 |
| 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 | 55 | 2017 |
| Transformation-by-example for XML S Krishnamurthi, KE Gray, PT Graunke International Symposium on Practical Aspects of Declarative Languages, 249-262, 2000 | 46 | 2000 |
| Safe cross-language inheritance KE Gray European Conference on Object-Oriented Programming, 52-75, 2008 | 31 | 2008 |
| Design of class hierarchies: an introduction to OO program design VK Proulx, KE Gray ACM SIGCSE Bulletin 38 (1), 288-292, 2006 | 22 | 2006 |
| Towards customizable pedagogic programming languages KE Gray The University of Utah, 2006 | 15 | 2006 |
| Implementing extensible theorem provers K Fisler, S Krishnamurthi, KE Gray International Conference on Theorem Proving in Higher-Order Logic: Emerging …, 1999 | 11 | 1999 |
| Compiling Java to PLT Scheme KE Gray, M Flatt Proc. 5th Workshop on Scheme and Functional Programming, 53-61, 2004 | 9 | 2004 |
| How to Design Classes M Felleisen, RB Findler, M Flatt, K Gray, S Krishnamurthi, VK Proulx preparation, 2011 | 7 | 2011 |
| Interoperability in a scripted world: Putting inheritance & prototypes together KE Gray Foundations of Object-Oriented Languages, 2011 | 6 | 2011 |
| Logical Testing KE Gray, A Mycroft International Conference on Fundamental Approaches to Software Engineering …, 2009 | 6 | 2009 |
| How to design class hierarchies. M Felleisen, RB Findler, M Flatt, KE Gray, S Krishnamurthi, VK Proulx FDPE@ ICFP, 1, 2005 | 6 | 2005 |
| 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 |
| Linguistic support for unit testing KE Gray, M Felleisen Technical Report UUCS-07-013, University of Utah, 2007 | | 2007 |
Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
