usenix_logo_notag_white
Sign In
Conferences
Attend
Registration Information
Registration Discounts
Terms and Conditions
Grant Opportunities
Venue, Hotel, and Travel
Program
Technical Sessions
Poster Session
Participate
Call for Papers
Submission Instructions
Call for Artifacts
Instructions for Presenters
Sponsors
Exhibitor Services
About
Conference Organizers
Past Conferences
Conference Policies
Code of Conduct
Questions
Jean-Baptiste Jeannin, University of Michigan
Linked Presentation:
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems
