usenix_logo_notag_white
Sign In
Conferences
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
Helgi Sigurbjarnarson
Linked Presentation:
Push-Button Verification of File Systems via Crash Refinement