팔로우
Ellis Michael
Ellis Michael
google.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
2472016
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
1322017
Harmonia: Near-linear scalability for replicated storage with in-network conflict detection
H Zhu, Z Bai, J Li, E Michael, D Ports, I Stoica, X Jin
arXiv preprint arXiv:1904.08964, 2019
712019
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories
J Li, J Nelson, E Michael, X Jin, DRK Ports
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
642020
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
162019
Recovering Shared Objects Without Stable Storage
E Michael, DRK Ports, NK Sharma, A Szekeres
Proceedings of the 31st International Symposium on Distributed Computing …, 2017
102017
Hydra: Serialization-Free Network Ordering for Strongly Consistent Distributed Applications
I Choi, E Michael, Y Li, DRK Ports, J Li
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
22023
Towards causal datacenter networks
E Michael, DRK Ports
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
12018
Providing Stable Storage for the Diskless Crash-Recovery Failure Model
E Michael, DRK Ports, NK Sharma, A Szekeres
12016
Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems
E Michael
University of Washington, 2023
2023
Scaling Leader-Based Agreement Protocols for State Machine Replication
E Michael
2015
On the Use of Model Checking for Remote Instruction
T Anderson, E Michael
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–12