Travelled to:1 × France
1 × Singapore
Collaborated with:V.B.F.Gomes G.Struth Thomas Bauereiss Brian Campbell 0001 A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur I.Stark Neel Krishnaswami P.Sewell
Talks about:verif (2) tool (2) lightweight (1) construct (1) principl (1) guarante (1) program (1) isabell (1) concurr (1) algebra (1)
Person: Alasdair Armstrong
DBLP: Armstrong:Alasdair
Contributed to:
2014
2014
2019Wrote 3 papers:
- FM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
- SEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification
- Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.