TY  - RPRT
TI  - CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer
AU  - Roni Haecki
AU  - Lukas Humbel
AU  - Reto Achermann
AU  - David Cock
AU  - Daniel Schwyn
AU  - Timothy Roscoe
PY  - 2019
UR  - https://arxiv.org/abs/1911.08773
ID  - 1911.08773
ER  -