| Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing | EVT/WOTE '09 | Cynthia Sturton, David Wagner |
| Automating Voting Terminal Event Log Analysis | EVT/WOTE '09 | Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Alexander Shvartsman |
| On the Security of Election Audits with Low Entropy Randomness | EVT/WOTE '09 | Eric Rescorla |
 | Opening Remarks and Best Paper Awards | USENIX ATC '09 | Geoffrey M. Voelker, Alec Wolman |
| Keynote Address: Where Does the Power Go in High-Scale Data Centers? | USENIX ATC '09 | James Hamilton |
| Satori: Enlightened Page Sharing | USENIX ATC '09 | Grzegorz Miłoś, Derek G. Murray, Steven Hand, Michael A. Fetterman |
| vNUMA: A Virtual Shared-Memory Multiprocessor | USENIX ATC '09 | Matthew Chapman, Gernot Heiser |
| ShadowNet: A Platform for Rapid and Safe Network Evolution | USENIX ATC '09 | Xu Chen, Z. Morley Mao, Jacobus Van der Merwe |
| Teaching Computer Science in the Cloud | USENIX ATC '09 | David J. Malan |
| Design and Implementation of TCP Data Probes for Reliable and Metric-Rich Network Path Monitoring | USENIX ATC '09 | Xiapu Luo, Edmond W.W. Chan, Rocky K.C. Chang |
| StrobeLight: Lightweight Availability Mapping and Anomaly Detection | USENIX ATC '09 | James W. Mickens, John R. Douceur, William J. Bolosky, Brian D. Noble |
| Hashing Round-down Prefixes for Rapid Packet Classification | USENIX ATC '09 | Fong Pong, Nian-Feng Tzeng |
| Tolerating File-System Mistakes with EnvyFS | USENIX ATC '09 | Lakshmi N. Bairavasundaram, Swaminathan Sundararaman, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| Decentralized Deduplication in SAN Cluster File Systems | USENIX ATC '09 | Austin T. Clements, Irfan Ahmad, Murali Vilayannur, Jinyuan Li |
| FlexFS: A Flexible Flash File System for MLC NAND Flash Memory | USENIX ATC '09 | Sungjin Lee, Keonsoo Ha, Kangwon Zhang, Jihong Kim, Junghwan Kim |
| Layering in Provenance Systems | USENIX ATC '09 | Kiran-Kumar Muniswamy-Reddy, Uri Braun, David A. Holland, Peter Macko, Diana Maclean, Daniel Margo, Margo Seltzer, Robin Smogor |
| Project SunSPOT | USENIX ATC '09 | Roger Meike |
| Object Storage on CRAQ: High-Throughput Chain Replication for Read-Mostly Workloads | USENIX ATC '09 | Jeff Terrace, Michael J. Freedman |
| Census: Location-Aware Membership Management for Large-Scale Distributed Systems | USENIX ATC '09 | James Cowling, Dan R.K. Ports, Barbara Liskov, Raluca Ada Popa, Abhijeet Gaikwad |
| Veracity: Practical Secure Network Coordinates via Vote-based Agreements | USENIX ATC '09 | Micah Sherr, Matt Blaze, Boon Thau Loo |
| Decaf: Moving Device Drivers to a Modern Language | USENIX ATC '09 | Matthew J. Renzelmann, Michael M. Swift |
| Rump File Systems: Kernel Code Reborn | USENIX ATC '09 | Antti Kantee |
| CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems | USENIX ATC '09 | Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf Spinczyk |
| Towards Designing Usable Languages | USENIX ATC '09 | Matthew Jadud, Christian L. Jacobsen |
| Automatically Generating Predicates and Solutions for Configuration Troubleshooting | USENIX ATC '09 | Ya-Yunn Su, Jason Flinn |
