Old Web
English
Sign In
Acemap
>
authorDetail
>
Michael L. Roberts
Michael L. Roberts
Microsoft
Computer science
State machine replication
Paxos
Distributed computing
Theoretical computer science
4
Papers
303
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
I'm Not Dead Yet!: The Role of the Operating System in a Kernel-Bypass Era
2019
Irene Zhang
Jing Liu
Amanda Austin
Michael L. Roberts
Anirudh Badam
Show All
Source
Cite
Save
Citations (20)
IronFleet: proving safety and liveness of practical distributed systems
2017
Communications of The ACM
Chris Hawblitzel
Jon Howell
Manos Kapritsos
Jacob R. Lorch
Bryan Parno
Michael L. Roberts
Srinath T. V. Setty
Brian Zill
Show All
Source
Cite
Save
Citations (29)
Enabling secure and resource-efficient blockchain networks with VOLT
2017
Srinath T. V. Setty
Soumya Basu
Lidong Zhou
Michael L. Roberts
Ramarathnam Venkatesan
Show All
Source
Cite
Save
Citations (7)
IronFleet: proving practical distributed systems correct
2015
SOSP | Symposium on Operating Systems Principles
Chris Hawblitzel
Jon Howell
Manos Kapritsos
Jacob R. Lorch
Bryan Parno
Michael L. Roberts
Srinath T. V. Setty
Brian Zill
Show All
Source
Cite
Save
Citations (247)
1