
Registered user since Thu 4 May 2017
Name:Ohad Kammar
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website:http://denotational.co.uk
Contributions
REMS-DeepSpec 2020 | ARMv8 and RISC-V relaxed memory concurrency | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2020-profile
View general profile
View general profile