BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gray:Kathryn_E=

Contributed to:

ICFP 20142014
FASE 20092009
ECOOP 20082008
OOPSLA 20052005
PADL 20002000
POPL 20162016
POPL 20172017
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.