Michael L. Roberts

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Distributed Systems

Loosely Coupled

Replicated Data

Top Venues

Publications

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)