Skip to main content
Back to 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
USENIX Conference Policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
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