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