Alasdair Armstrong

According to our database1, Alasdair Armstrong authored at least 17 papers between 2012 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures.
Proceedings of the Programming Languages and Systems, 2020

2019
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Proc. ACM Program. Lang., 2019

2018
On abstraction and compositionality for weak-memory linearisability.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017
Proving Opacity via Linearizability: A Sound and Complete Method.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Modularising Opacity Verification for Hybrid Transactional Memory.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016
Building program construction and verification tools from algebraic principles.
Formal Aspects Comput., 2016

Reducing Opacity to Linearizability: A Sound and Complete Method.
CoRR, 2016

2015
Formal analysis of concurrent programs.
PhD thesis, 2015

2014
Programming and automating mathematics in the Tarski-Kleene hierarchy.
J. Log. Algebraic Methods Program., 2014

Kleene Algebra with Tests and Demonic Refinement Algebras.
Arch. Formal Proofs, 2014

Lightweight Program Construction and Verification Tools in Isabelle/HOL.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.
Proceedings of the FM 2014: Formal Methods, 2014

Algebras for Program Correctness in Isabelle/HOL.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Kleene Algebra.
Arch. Formal Proofs, 2013

Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012
Dependently Typed Programming Based on Automated Theorem Proving.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Automated Reasoning in Higher-Order Regular Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012


  Loading...