Cheap and Available State Machine Replication
.
2016. Cheap and Available State Machine Replication. 2016 USENIX Annual Technical Conference (USENIX ATC 16). :265--279.
Modular Composition of Coordination Services
.
2016. Modular Composition of Coordination Services. 2016 USENIX Annual Technical Conference (USENIX ATC 16). :251--264.
Filo: Consolidated Consensus as a Cloud Service
.
2016. Filo: Consolidated Consensus as a Cloud Service. 2016 USENIX Annual Technical Conference (USENIX ATC 16). :237--249.
Callinicos: Robust Transactional Storage for Distributed Data Structures
.
2016. Callinicos: Robust Transactional Storage for Distributed Data Structures. 2016 USENIX Annual Technical Conference (USENIX ATC 16). :223--235.
{Under-Constrained} Symbolic Execution: Correctness Checking for Real Code
.
2016. {Under-Constrained} Symbolic Execution: Correctness Checking for Real Code. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
All Your Biases Belong to Us: Breaking {RC4} in {WPA-TKIP} and {TLS}
.
2016. All Your Biases Belong to Us: Breaking {RC4} in {WPA-TKIP} and {TLS}. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
{COZ}: Finding Code that Counts with Causal Profiling
.
2016. {COZ}: Finding Code that Counts with Causal Profiling. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
Using Crash Hoare Logic for Certifying the {FSCQ} File System
.
2016. Using Crash Hoare Logic for Certifying the {FSCQ} File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems
.
2016. Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
Optimizing Every Operation in a Write-optimized File System
.
2016. Optimizing Every Operation in a Write-optimized File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).