Alasdair Armstrong -

Registered user since Wed 11 Jul 2018

Name:Alasdair Armstrong

Affiliation:University of Cambridge

Personal website: http://alasdair.io

Contributions

2022

POPL

Committee Member in Selection Committee within the Student Research Competition-track

2020

DeepSpec

Presenter of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track

2018

VMCAI

Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track