Alasdair Armstrong, Thomas Bauereiss, Brian Campbell 0001, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
POPL, 2019.
@article{POPL-2019-ArmstrongBCRGNM,
author = "Alasdair Armstrong and Thomas Bauereiss and Brian Campbell 0001 and Alastair Reid and Kathryn E. Gray and Robert M. Norton and Prashanth Mundkur and Mark Wassell and Jon French and Christopher Pulte and Shaked Flur and Ian Stark and Neel Krishnaswami and Peter Sewell",
doi = "10.1145/3290384",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "31",
publisher = "{ACM}",
title = "{ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS}",
volume = 3,
year = 2019,
}
Tags:
