conf.researchr.org / Alasdair Armstrong

Registered user since Wed 11 Jul 2018

Name:Alasdair Armstrong
Affiliation:University of Cambridge
Personal website:http://alasdair.io

Contributions

POPL 2022 Committee Member in Selection Committee within the Student Research Competition-track
REMS-DeepSpec 2020 Presenter of Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V within the REMS-DeepSpec 2020-track
VMCAI 2018 Author of On abstraction and compositionality for weak-memory linearisability within the VMCAI 2018-track