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...