Skip to main content
USENIX
Conferences
Students
Sign in
HotDep '12 Home
Organizers
Registration Information
Workshop Program
Hotel and Travel Information
Sponsorship
Students
Help Promote
For Participants
Call for Papers
Past HotDeps
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
ยป
Operating Systems
Tweet
connect with us
http://twitter.com/usenix
https://www.facebook.com/events/225273080901144/
Operating Systems
Session chair:
Robbert van Renesse, Cornell University
Presentations:
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms
Is Linux Kernel Oops Useful or Not?
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability
connect with us