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 |
Twine: A Unified Cluster Management System for Shared Infrastructure
|
2020 |
Tang, Chunqiang |
Ansor: Generating High-Performance Tensor Programs for Deep Learning
|
2020 |
Zheng, Lianmin |
Retiarii: A Deep Learning Exploratory-Training Framework
|
2020 |
Zhang, Quanlu |
KungFu: Making Training in Distributed Machine Learning Adaptive
|
2020 |
Mai, Luo |
A Tensor Compiler for Unified Machine Learning Prediction Serving
|
2020 |
Nakandala, Supun |
Assise: Performance and Availability via Client-local NVM in a Distributed File System
|
2020 |
Anderson, Thomas E. |
AGAMOTTO: How Persistent is your Persistent Memory Application?
|
2020 |
Neal, Ian |
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract
|
2020 |
Behrens, Jonathan |