Collaborated with:A.Armstrong Thomas Bauereiss A.Reid K.E.Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte S.Flur I.Stark Neel Krishnaswami P.Sewell
Talks about:semant (1) cheri (1) risc (1) mip (1) isa (1)
Person: Brian Campbell 0001
DBLP: 0001:Brian_Campbell
Contributed to:
2019Wrote 1 papers:
- POPL-2019-ArmstrongBCRGNM #semantics
- ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS (AA, TB, BC0, AR, KEG, RMN, PM, MW, JF, CP, SF, IS, NK, PS), p. 31.