usenix_logo_notag_white
Sign In
Conferences
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
Xi Wang, University of Washington
Linked Presentation:
Push-Button Verification of File Systems via Crash Refinement
