Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kathryn E. Gray
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
PLDI 2020 profile
POPL 2016 profile
POPL 2017 profile
POPL 2019 profile
SPLASH 2017 profile
Registered user since Tue 5 Mar 2019
Name:
Kathryn E. Gray
Country:
United Kingdom
Affiliation:
Facebook
Research interests:
Programming languages
Contributions
2020
DeepSpec
Author of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track
Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
2019
PLMW
PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP 2019-track
POPL
Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
2017
SPLASH
Committee Member in Program Committee within the OOPSLA-track
ICFP
Session Chair of Art and Education (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL
Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
2016
POPL
Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
Share
x
Wed 16 Jul 10:51