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.
Peter Sewell
A grouping.
Peter Sewell, Cambridge: the ISA-semantics cluster this corpus leans on -- Sail and Isla, the rigorous ARMv8 and RISC-V models, relaxed memory. Six records, 2016-2026. NOT Thomas Sewell of klein2009sel4, a different person.
5 references
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Thibaut Pérami and others (2026) · Proceedings of the ACM on Programming Languages
Escaping the Quicksand: A Call to Arms
Peter Sewell and others (2026)
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)
Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process
Kyndylan Nienhuis and others (2020) · 2020 IEEE Symposium on Security and Privacy (SP)