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
REMS-DeepSpec 2020
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
PLMW @ ICFP 2019
PLMW Co-Chair in Organizing Committee within the PLMW @ ICFP 2019-track
POPL 2019
Author of ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS within the Research Papers-track
SPLASH 2017
Committee Member in Program Committee within the OOPSLA-track
ICFP 2017
Session Chair of Art and Education (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2017
Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
POPL 2016
Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
Share
x
Thu 1 Jun 18:36