All papers
| BUZZ: Testing Context-Dependent Policies in Stateful Data Planes Seyed K Fayaz, and others |
| Fleet: defending SDNs from malicious administrators |
| Tolerating SDN Application Failures with LegoSDN |
| CAP for Networks |
| Pico Replication: A High Availability Framework for Middleboxes |
| The Mystery Machine: End-to-end performance analysis of large-scale Internet services Thomas F. Wenisch, Daniel Peek, Jason Flinn, David Meisner, Michael Chow |
| Reducing Memory Interference in Multicore Systems via Application-Aware Memory Channel Partitioning Muralidhara |
| Using Model Checking to Find Serious File System Errors Madanlal Musuvathi, Dawson Engler, Paul Twohey, Junfeng Yang |
| Distributed Snapshots: Determining Global States of Distributed Systems Leslie Lamport, K. Mani Chandy |
| Exploiting virtual synchrony in distributed systems Thomas Joseph, Ken Birman |