دنبال کردن
Ellis Michael
Ellis Michael
Google
ایمیل تأیید شده در 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‏
2732016
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‏
1462017
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‏
882020
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‏
782019
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‏
172019
Recovering Shared Objects Without Stable Storage‏
E Michael, DRK Ports, NK Sharma, A Szekeres‏
Proceedings of the 31st International Symposium on Distributed Computing …, 2017‏
122017
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‏
52023
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
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
On the Use of Model Checking for Remote Instruction‏
T Anderson, E Michael‏
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–12