Preliminary Design of the SAFE Platform

By André DeHon, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan
Date: October 23, 2011

Presented at 6th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011.

PLOS Paper (PDF)