| 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 | 216 | 2016 |
| 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 | 120 | 2017 |
| 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 | 54 | 2019 |
| 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 | 41 | 2020 |
| 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 | 13 | 2019 |
| Recovering Shared Objects Without Stable Storage E Michael, DRK Ports, NK Sharma, A Szekeres Proceedings of the 31st International Symposium on Distributed Computing …, 2017 | 7 | 2017 |
| Towards causal datacenter networks E Michael, DRK Ports Proceedings of the 5th Workshop on the Principles and Practice of …, 2018 | 1 | 2018 |
| Providing Stable Storage for the Diskless Crash-Recovery Failure Model E Michael, DRK Ports, NK Sharma, A Szekeres | 1 | 2016 |
| Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems E Michael | | 2023 |
| 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 | | 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 | | |
Dan R. K. PortsMicrosoft ResearchVerified email at cs.washington.edu
