Travelled to:1 × USA
Collaborated with:C.Hawblitzel J.Howell M.Kapritsos J.R.Lorch B.Parno S.T.V.Setty B.Zill
Talks about:distribut (1) practic (1) correct (1) system (1) prove (1) fleet (1) iron (1)
Person: Michael L. Roberts
DBLP: Roberts:Michael_L=
Contributed to:
2015Wrote 1 papers:
- SOSP-2015-HawblitzelHKLPR #distributed #named #proving
- IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.