Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
HotDep '12 Home
Organizers
Registration Information
Workshop Program
Hotel and Travel Information
Sponsorship
Students
Help Promote
For Participants
Call for Papers
Past HotDeps
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