Alasdair Armstrong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ISCA | Precise exceptions in relaxed architectures. | Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell |
| 2022 | ESOP | Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. | Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
| 2022 | ESOP | Relaxed virtual memory in Armv8-A. | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
| 2021 | CAV | Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models. | Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte, Peter Sewell |
| 2020 | ESOP | ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
| 2018 | VMCAI | On abstraction and compositionality for weak-memory linearisability. | Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong |
| 2017 | FORTE | Modularising Opacity Verification for Hybrid Transactional Memory. | Alasdair Armstrong, Brijesh Dongol |
| 2017 | FORTE | Proving Opacity via Linearizability: A Sound and Complete Method. | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
| 2014 | FM | Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | SEFM | Lightweight Program Construction and Verification Tools in Isabelle/HOL. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2013 | ITP | Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. | Alasdair Armstrong, Georg Struth, Tjark Weber |
| 2012 | MPC | Dependently Typed Programming Based on Automated Theorem Proving. | Alasdair Armstrong, Simon Foster, Georg Struth |