ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS.
Alasdair ArmstrongThomas BauereissBrian CampbellAlastair ReidKathryn E. GrayRobert M. NortonPrashanth MundkurMark WassellJon FrenchChristopher PulteShaked FlurIan StarkNeel KrishnaswamiPeter SewellPublished in: Proc. ACM Program. Lang. (2019)