The State of Sail

Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell


SpISA 2019 Workshop on Instruction Set Architecture Specification
Portland, Oregon, USA
September 2019


First page of paper


@article{conf/spisa19/armstrong , ar_file = {SpISA_19} , ar_shortname = {SpISA 19} , author = {Alasdair Armstrong and Thomas Bauereiss and Brian Campbell and Alastair Reid and Kathryn E. Gray and Robert 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} , booktitle = {SpISA 2019: Workshop on Instruction Set Architecture Specification} , file = {spisa2019.pdf} , location = {Portland, Oregon, USA} , month = {September} , title = {{T}he {S}tate of {S}ail} , year = {2019} }