Travelled to:1 × Cyprus
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:P.Sewell A.Mycroft ∅ R.B.Findler M.Flatt S.Krishnamurthi P.T.Graunke S.Flur Christopher Pulte S.Sarkar A.Sezgin L.Maranget D.P.Mulligan S.Owens T.Ridge Will Deacon K.Nienhuis M.Batty A.Armstrong Thomas Bauereiss Brian Campbell 0001 A.Reid Robert M. Norton Prashanth Mundkur Mark Wassell Jon French I.Stark Neel Krishnaswami
Talks about:concurr (2) semant (2) isa (2) architectur (1) transform (1) interoper (1) contract (1) reusabl (1) languag (1) inherit (1)
Person: Kathryn E. Gray
DBLP: Gray:Kathryn_E=
Contributed to:
2014
2009
2008
2005
2000
201620172019Wrote 8 papers:
- ICFP-2014-MulliganOGRS #named #reuse #semantics
- Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.
- FASE-2009-GrayM #logic #testing
- Logical Testing (KEG, AM), pp. 186–200.
- ECOOP-2008-Gray #inheritance
- Safe Cross-Language Inheritance (KEG), pp. 52–75.
- OOPSLA-2005-GrayFF #contract #fine-grained
- Fine-grained interoperability through mirrors and contracts (KEG, RBF, MF), pp. 231–245.
- PADL-2000-KrishnamurthiGG #xml
- Transformation-by-Example for XML (SK, KEG, PTG), pp. 249–262.
- POPL-2016-FlurGPSSMDS #architecture #concurrent #modelling
- Modelling the ARMv8 architecture, operationally: concurrency and ISA (SF, KEG, CP, SS, AS, LM, WD, PS), pp. 608–621.
- POPL-2017-FlurSPNMGSBS #concurrent
- Mixed-size concurrency: ARM, POWER, C/C++11, and SC (SF, SS, CP, KN, LM, KEG, AS, MB, PS), pp. 429–442.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.