Ellis Michael
Ellis Michael
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering
J Li, E Michael, NK Sharma, A Szekeres, DRK Ports
Proceedings of the 12th USENIX Symposium on Operating Systems Design and …, 2016
942016
Eris: Coordination-free consistent transactions using in-network concurrency control
J Li, E Michael, DRK Ports
Proceedings of the 26th Symposium on Operating Systems Principles, 104-120, 2017
442017
Harmonia: Near-linear scalability for replicated storage with in-network conflict detection
H Zhu, Z Bai, J Li, E Michael, DRK Ports, I Stoica, X Jin
Proceedings of the VLDB Endowment 13 (3), 376-389, 2019
52019
Recovering Shared Objects Without Stable Storage
E Michael, DRK Ports, NK Sharma, A Szekeres
Proceedings of the 31st International Symposium on Distributed Computing …, 2017
32017
Teaching rigorous distributed systems with efficient model checking
E Michael, D Woos, T Anderson, MD Ernst, Z Tatlock
Proceedings of the Fourteenth EuroSys Conference 2019, 1-15, 2019
22019
Providing Stable Storage for the Diskless Crash-Recovery Failure Model
E Michael, DRK Ports, NK Sharma, A Szekeres
12016
Towards causal datacenter networks
E Michael, DRK Ports
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
2018
Scaling Leader-Based Agreement Protocols for State Machine Replication
E Michael
2015
The system can't perform the operation now. Try again later.
Articles 1–8