Alasdair Armstrong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version) Formal Methods in System Design	2024-11-04	Paper
Modularising opacity verification for hybrid transactional memory Formal Techniques for Distributed Objects, Components, and Systems	2022-06-15	Paper
Proving opacity via linearizability: a sound and complete method Formal Techniques for Distributed Objects, Components, and Systems	2022-06-15	Paper
On abstraction and compositionality for weak-memory linearisability Lecture Notes in Computer Science	2020-07-07	Paper
Building program construction and verification tools from algebraic principles Formal Aspects of Computing	2016-08-04	Paper
Programming and automating mathematics in the Tarski-Kleene hierarchy Journal of Logical and Algebraic Methods in Programming	2014-09-08	Paper
Algebras for program correctness in Isabelle/HOL Relational and Algebraic Methods in Computer Science	2014-04-16	Paper
Program analysis and verification based on Kleene algebra in Isabelle/HOL Interactive Theorem Proving	2013-08-07	Paper
Automated Reasoning in Higher-Order Regular Algebra Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Dependently Typed Programming Based on Automated Theorem Proving Lecture Notes in Computer Science	2012-09-05	Paper

Research outcomes over time

This page was built for person: Alasdair Armstrong