Skip to main content
USENIX
Conferences
Students
Sign in
Home
Attend
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Students and Grants
Co-located Events
SOUPS 2016
HotCloud '16
HotStorage '16
Program
At a Glance
Technical Sessions
Activities
Birds-of-a-Feather Sessions
Poster Session
Participate
Instructions for Authors and Speakers
Call for Papers
Call for Practitioner Talks
Sponsorship
About
Organizers
Help Promote!
Questions
Past Conferences
sponsors
Gold Sponsor
Gold Sponsor
Gold Sponsor
Gold Sponsor
Silver Sponsor
Silver Sponsor
Silver Sponsor
Silver 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
Industry Partner
help promote
Get
Help Promote graphics!
connect with us
Twitter
Facebook
LinkedIn
Google+
YouTube
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
ยป
Nickolai Zeldovich, MIT CSAIL
Tweet
connect with us
Nickolai Zeldovich
Linked Presentation:
Using Crash Hoare Logic for Certifying the FSCQ File System
Twitter
Facebook
LinkedIn
Google+
YouTube
connect with us