Login / Signup
Ellis Michael
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 9
Top Topics
Causal Interactions
Distributed Storage
Conflict Detection
Deadlock Free
Top Venues
OSDI
Proc. VLDB Endow.
CoRR
SOSP
</>
Publications
</>
Inho Choi
,
Ellis Michael
,
Yunfan Li
,
Dan R. K. Ports
,
Jialin Li
Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications.
NSDI
(2023)
Jialin Li
,
Jacob Nelson
,
Ellis Michael
,
Xin Jin
,
Dan R. K. Ports
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories.
OSDI
(2020)
Hang Zhu
,
Zhihao Bai
,
Jialin Li
,
Ellis Michael
,
Dan R. K. Ports
,
Ion Stoica
,
Xin Jin
Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection.
CoRR
(2019)
Ellis Michael
,
Doug Woos
,
Thomas E. Anderson
,
Michael D. Ernst
,
Zachary Tatlock
Teaching Rigorous Distributed Systems With Efficient Model Checking.
EuroSys
(2019)
Hang Zhu
,
Zhihao Bai
,
Jialin Li
,
Ellis Michael
,
Dan R. K. Ports
,
Ion Stoica
,
Xin Jin
Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection.
Proc. VLDB Endow.
13 (3) (2019)
Ellis Michael
,
Dan R. K. Ports
Towards causal datacenter networks.
PaPoC@EuroSys
(2018)
Ellis Michael
,
Dan R. K. Ports
,
Naveen Kr. Sharma
,
Adriana Szekeres
Recovering Shared Objects Without Stable Storage.
DISC
(2017)
Jialin Li
,
Ellis Michael
,
Dan R. K. Ports
Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control.
SOSP
(2017)
Jialin Li
,
Ellis Michael
,
Naveen Kr. Sharma
,
Adriana Szekeres
,
Dan R. K. Ports
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering.
OSDI
(2016)