Kathryn E. Gray

According to our database1, Kathryn E. Gray authored at least 12 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2017
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Modelling the ARMv8 architecture, operationally: concurrency and ISA.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
Proceedings of the 48th International Symposium on Microarchitecture, 2015

2014
Lem: reusable engineering of real-world semantics.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Abstract Modelling of Tethered DNA Circuits.
Proceedings of the DNA Computing and Molecular Programming - 20th International Conference, 2014

2009
Logical Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Safe Cross-Language Inheritance.
Proceedings of the ECOOP 2008, 2008

2006
Design of class hierarchies: an introduction to OO program design.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2006

2005
Fine-grained interoperability through mirrors and contracts.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2003
ProfessorJ: a gradual introduction to Java through language levels.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

2000
Transformation-by-Example for XML.
Proceedings of the Practical Aspects of Declarative Languages, 2000


  Loading...