Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, and Peter Sewell.
Paper in the proceedings of the 25th Symposium on Operating Systems Principles.
URL (dl.acm.org) DOI BIB PDF
No abstract available