Skip to main content
USENIX
Conferences
Students
Sign in
OSDI '14 Home
Symposium Organizers
At a Glance
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Technical Sessions
Co-Located Workshops
Activities
Birds-of-a-Feather Sessions
Poster Sessions
Sponsorship
Students and Grants
Co-located Workshops
Questions?
Help Promote!
For Participants
Call for Papers
Past Symposia
sponsors
Diamond Sponsor
Diamond Sponsor
Gold Sponsor
Gold Sponsor
Gold Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
General Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Industry Partner
Industry Partner
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
ยป
Mingzhe Hao, University of Chicago
Tweet
connect with us
http://twitter.com/usenix
https://www.facebook.com/usenixassociation
http://www.linkedin.com/groups/USENIX-Association-49559/about
https://plus.google.com/108588319090208187909/posts
http://www.youtube.com/user/USENIXAssociation
Mingzhe Hao
Linked Presentation:
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
connect with us