Skip to main content
USENIX
Conferences
Students
Sign in
sponsors
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
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
ยป
Adam Chlipala, MIT CSAIL
Tweet
connect with us
Adam Chlipala
Linked Presentation:
Specifying Crash Safety for Storage Systems
connect with us