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