ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
2019 · Proceedings of the ACM on Programming Languages · 111 citations
https://doi.org/10.1145/3290384
A
Alasdair Armstrong
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
30
Papers
352
Citations
11
h-index
13
i10-index
Alasdair Armstrong is an academic researcher from University of Cambridge. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Security and Verification in Computing. The author has an h-index of 11, co-authored 26 publications.
ORCID: 0000-0002-2910-0764Papers by this author
worksVerified Security for the Morello Capability-enhanced Prototype Arm Architecture
2022 · Lecture notes in computer science · 25 citations
https://doi.org/10.1007/978-3-030-99336-8_7
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models
2021 · Lecture notes in computer science · 20 citations
https://doi.org/10.1007/978-3-030-81685-8_14
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
2020 · Lecture notes in computer science · 17 citations
https://doi.org/10.1007/978-3-030-44914-8_23
Relaxed virtual memory in Armv8-A
2022 · Lecture notes in computer science · 15 citations
https://doi.org/10.1007/978-3-030-99336-8_6
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
2023 · Formal Methods in System Design · 3 citations
https://doi.org/10.1007/s10703-023-00409-y
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat