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
View general profile