Skip to main content
Back to USENIX
Conferences
Students
Sign in
OSDI '16
Attend
Registration Information
Registration Discounts
Students and Grants
Venue, Hotel, and Travel
Program
Technical Sessions
Activities
Birds-of-a-Feather Sessions
Poster Sessions
Participate
Call for Papers
Instructions for Authors and Speakers
Sponsorship
About
Organizers
Help Promote
Questions
Code of Conduct
Past Symposia
Home
Attend
Program
Activities
Participate
Sponsorship
About
sponsors
Gold Sponsor
Gold Sponsor
Gold Sponsor
Gold Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Industry Partner
Industry Partner
Industry Partner
help promote
Get
Help Promote graphics!
USENIX Conference Policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
Best of the Rest II
Presentations:
Using Crash Hoare Logic for Certifying the FSCQ File System
COZ: Finding Code that Counts with Causal Profiling
All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS
Under-Constrained Symbolic Execution: Correctness Checking for Real Code
Colorado Ballroom G–J
