Lecture: Distributed Systems: IronFleet - Part 1

Date: 4/10/17

Reading

• Required reading: IronFleet: Proving Practical Distributed Systems Correct, Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Michael Lowell Roberts, Srinath Setty, Brian Zill, SOSP, 2015.
• Optional reading: The Saddest Moment, James Mickens, USENIX ;login, 2013.