Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Technical Sessions
Co-Located Workshops
Activities
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
Jeffrey F. Lukman, Surya University
Linked Presentation:
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems