Search Results for 'ironfleet'

ironfleet published presentations and documents on DocSlides.

IronFleet: Proving Practical Distributed Systems Correct

by criticanime

Chris . Hawblitzel Jon Howell Manos Kapritso...