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