Ellis Michael

Orcid: 0009-0000-1010-6325

Affiliations:
  • University of Washington, Seattle, WA, USA


According to our database1, Ellis Michael authored at least 9 papers between 2016 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems
PhD thesis, 2023

Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2020
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019
Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection.
Proc. VLDB Endow., 2019

Teaching Rigorous Distributed Systems With Efficient Model Checking.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
Towards causal datacenter networks.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017
Recovering Shared Objects Without Stable Storage.
Proceedings of the 31st International Symposium on Distributed Computing, 2017

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016


  Loading...