Skip to main content
Back to USENIX
Conferences
Students
Sign in
Home
Attend
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Students and Grants
Co-located Events
SOUPS 2016
HotCloud '16
HotStorage '16
Program
At a Glance
Technical Sessions
Activities
Birds-of-a-Feather Sessions
Poster Session
Participate
Instructions for Authors and Speakers
Call for Papers
Call for Practitioner Talks
Sponsorship
About
Organizers
Help Promote!
Questions
Past Conferences
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
