Ellis Michael

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

Collaborative distances:

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

2023

Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems

Ellis Michael

PhD thesis, 2023

Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications.

Inho Choi, Ellis Michael, Yunfan Li, Dan R. K. Ports, Jialin Li

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.

Jialin Li, Jacob Nelson, Ellis Michael, Xin Jin, Dan R. K. Ports

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.

Hang Zhu, Zhihao Bai, Jialin Li, Ellis Michael, Dan R. K. Ports, Ion Stoica, Xin Jin

Proc. VLDB Endow., 2019

Teaching Rigorous Distributed Systems With Efficient Model Checking.

Ellis Michael, Doug Woos, Thomas E. Anderson, Michael D. Ernst, Zachary Tatlock

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Towards causal datacenter networks.

Ellis Michael, Dan R. K. Ports

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

2017

Recovering Shared Objects Without Stable Storage.

Ellis Michael, Dan R. K. Ports, Naveen Kr. Sharma, Adriana Szekeres

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control.

Jialin Li, Ellis Michael, Dan R. K. Ports

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering.

Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016