Michael Lowell Roberts

According to our database, Michael Lowell Roberts authored at least 3 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

I'm Not Dead Yet!: The Role of the Operating System in a Kernel-Bypass Era.

Irene Zhang, Jing Liu, Amanda Austin, Michael Lowell Roberts, Anirudh Badam

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2017

IronFleet: proving safety and liveness of practical distributed systems.

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill

Commun. ACM, 2017

2015

IronFleet: proving practical distributed systems correct.

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill

Proceedings of the 25th Symposium on Operating Systems Principles, 2015