Accepted Papers

The following are the accepted HotDep '12 papers. Please check back for the full workshop program.

Presentations:

Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms

Collaborative Energy Debugging for Mobile Devices

Automatic Undo for Cloud Management via AI Planning

ABHRANTA: Locating Bugs that Manifest at Large System Scales

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability

ShadowDB: A Replicated Database on a Synthesized Consensus Core

CORD: A Collaborative Framework for Distributed Data Race Detection

Toward a Principled Framework for Benchmarking Consistency

Is Linux Kernel Oops Useful or Not?

Programming Model Support for Dependable, Elastic Cloud Applications