Registered user since Wed 11 Jul 2018

Name:Alasdair Armstrong
Affiliation:Brunel University

Contributions

VMCAI 2018 On abstraction and compositionality for weak-memory linearisability
Show activities from other conferences

POPL 2018-profile
View general profile