ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS - POPL 2019