usenix_logo_notag_white
Sign In
Conferences
Home
Attend
Registration Information
Registration Discounts
Students and Grants
Venue, Hotel, and Travel
Program
At a Glance
Technical Sessions
Activities
Birds-of-a-Feather Sessions
Poster Session
Participate
Call for Papers
Instructions for Authors and Speakers
Sponsorship
About
Organizers
Questions
Help Promote
Past Conferences
James Bornholt, University of Washington
Linked Presentation:
Push-Button Verification of File Systems via Crash Refinement
