This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Alasdair Armstrong
A grouping.
Alasdair Armstrong, Cambridge: the Sail and Isla tooling under the corpus's ISA-semantics cluster, from the verified CHERI-RISC-V work to the 2026 architecture-semantics library. Four records, 2022-2026.
4 references
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Thibaut Pérami and others (2026) · Proceedings of the ACM on Programming Languages
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor
Louis-Emile Ploix and others (2025)
Isla: integrating full-scale ISA semantics and axiomatic concurrency models
Alasdair Armstrong and others (2024) · Formal Methods in System Design
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Thomas Bauereiss and others (2022) · Programming Languages and Systems (ESOP 2022)