Alasdair Armstrong

Available identifiers

zbMath Open armstrong.alasdairMaRDI QIDQ406432

List of research outcomes

Publication	Date of Publication	Type
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)	2024-11-04	Paper
Modularising Opacity Verification for Hybrid Transactional Memory	2022-06-15	Paper
Proving Opacity via Linearizability: A Sound and Complete Method	2022-06-15	Paper
On abstraction and compositionality for weak-memory linearisability	2020-07-07	Paper
Building program construction and verification tools from algebraic principles	2016-08-04	Paper
Programming and automating mathematics in the Tarski-Kleene hierarchy	2014-09-08	Paper
Algebras for Program Correctness in Isabelle/HOL	2014-04-16	Paper
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL	2013-08-07	Paper
Automated Reasoning in Higher-Order Regular Algebra	2012-09-21	Paper
Dependently Typed Programming Based on Automated Theorem Proving	2012-09-05	Paper

Research outcomes over time

This page was built for person: Alasdair Armstrong