This paper describes some aspects of the system: http://research.microsoft.com/pubs/189242/pldi097-burckhardt...