1. Control plane compression: Extended version. https://scholar.princeton.edu/sites/default/files/rbeckett/files/paper_0.pdf. Control plane compression: Extended version. https://scholar.princeton.edu/sites/default/files/rbeckett/files/paper_0.pdf.
2. A scalable, commodity data center network architecture
3. M. Anderson. Time warner cable says outages largely resolved. http://www.seattletimes.com/business/time-warner-cable-says-outages-largely-resolved August 2014. M. Anderson. Time warner cable says outages largely resolved. http://www.seattletimes.com/business/time-warner-cable-says-outages-largely-resolved August 2014.
4. Automatic predicate abstraction of C programs
5. Detecting and resolving policy misconfigurations in access-control systems