Write Dependency Disentanglement with HORAE
|
2020 |
Liao, Xiaojian |
Tolerating Slowdowns in Replicated State Machines using Copilots
|
2020 |
Ngo, Khiem |
Virtual Consensus in Delos
|
2020 |
Balakrishnan, Mahesh |
Aragog: Scalable Runtime Verification of Shardable Networked Systems
|
2020 |
Yaseen, Nofel |
The CacheLib Caching Engine: Design and Experiences at Scale
|
2020 |
Berg, Benjamin |
Do OS abstractions make sense on FPGAs?
|
2020 |
Korolija, Dario |
Sundial: Fault-tolerant Clock Synchronization for Datacenters
|
2020 |
Li, Yuliang |
Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale
|
2020 |
Li, Shaohong |
Byzantine Ordered Consensus without Byzantine Oligarchy
|
2020 |
Zhang, Yunhao |
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
|
2020 |
Hu, Yigong |
Providing SLOs for Resource-Harvesting VMs in Cloud Platforms
|
2020 |
Ambati, Pradeep |
Testing Configuration Changes in Context to Prevent Production Failures
|
2020 |
Sun, Xudong |
Protean: VM Allocation Service at Scale
|
2020 |
Hadary, Ori |
hXDP: Efficient Software Packet Processing on FPGA NICs
|
2020 |
Brunella, Marco Spaziani |
DORY: An Encrypted Search System with Distributed Trust
|
2020 |
Dauterman, Emma |
RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers
|
2020 |
Zhu, Hang |
Microsecond Consensus for Microsecond Applications
|
2020 |
Aguilera, Marcos K. |
Blockene: A High-throughput Blockchain Over Mobile Devices
|
2020 |
Satija, Sambhav |
Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
|
2020 |
Ruffy, Fabian |
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes
|
2020 |
Rommel, Florian |