Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
Overview
Workshop Organizers
Workshop Program
Sponsorship
Instructions for Participants
Call for Papers
Past Workshops
Andrea C. Arpaci-Dusseau, University of Wisconsin—Madison
Linked Presentation:
Beyond Storage APIs: Provable Semantics for Storage Stacks