Search Results for 'lorch microsoft'

lorch microsoft published presentations and documents on DocSlides.

IronFleet: Proving Practical Distributed Systems Correct

by criticanime

Chris . Hawblitzel Jon Howell Manos Kapritso...