Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Registered user since Tue 5 Mar 2019

Name: Kathryn E. Gray

Country: United Kingdom

Affiliation: Facebook

Research interests: Programming languages

Contributions

REMS-DeepSpec 2020 Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V
ARMv8 and RISC-V relaxed memory concurrency
Show activities from other conferences

PLDI 2020-profile
View general profile