Audience Choice Paper Award
Select your choice for best paper:
FAWN: A Fast Array of Wimpy Nodes
RouteBricks: Exploiting Parallelism to Scale Software Routers
The Multikernel: A New OS Architecture for Scalable Multicore Systems
Fast Byte-granularity Software Fault Isolation
Tolerating Hardware Device Failures in Software
Automatic Device Driver Synthesis with Termite
Automatically Patching Errors in Deployed Software
Debugging in the (Very) Large: Ten Years of Implementation and Experience
Detecting Large-Scale System Problem Detection by Mining Console Logs
Better I/O Through Byte-Addressable, Persistent Memory
Modular Data Storage with Anvil
Operating Systems Transactions
Do You Have to Reproduce the Bug at the First Replay Attempt? -- PRES: Probabilistic Replay with Execution Sketching on Multiprocessors
ODR: Output-Deterministic Replay for Multicore Debugging
seL4: Formal Verification of an OS Kernel
Helios: Heterogeneous Multiprocessing with Satellite Kernels
Surviving Sensor Network Software Faults
Distributed Aggregation for Data-Parallel Computing: Interfaces and Implementations
Quincy: Fair Scheduling for Distributed Computing Clusters
UpRight Cluster Services
Improving Application Security with Data Flow Assertions
Heat-ray: Combating Identity Snowball Attacks using Machine Learning, Combinatorial Optimization and Attack Graphs
Fabric: A Platform for Secure Distributed Computation and Storage