Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, and Rebecca Isaacs April 2008
In Eurosys
Publisher ACM Eurosys