{GANGRENE}: Exploring the Mortality of Flash Memory
.
2012. {GANGRENE}: Exploring the Mortality of Flash Memory. 7th USENIX Workshop on Hot Topics in Security (HotSec 12).
Automatic Undo for Cloud Management via {AI} Planning
.
2012. Automatic Undo for Cloud Management via {AI} Planning. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
Programming Model Support for Dependable, Elastic Cloud Applications
.
2012. Programming Model Support for Dependable, Elastic Cloud Applications. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
Toward a Principled Framework for Benchmarking Consistency
.
2012. Toward a Principled Framework for Benchmarking Consistency. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
{ShadowDB}: A Replicated Database on a Synthesized Consensus Core
.
2012. {ShadowDB}: A Replicated Database on a Synthesized Consensus Core. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
Collaborative Energy Debugging for Mobile Devices
.
2012. Collaborative Energy Debugging for Mobile Devices. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
{ABHRANTA}: Locating Bugs that Manifest at Large System Scales
.
2012. {ABHRANTA}: Locating Bugs that Manifest at Large System Scales. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
{CORD}: A Collaborative Framework for Distributed Data Race Detection
.
2012. {CORD}: A Collaborative Framework for Distributed Data Race Detection. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
Automatic {OS} Kernel {TCB} Reduction by Leveraging {Compile-Time} Configurability
.
2012. Automatic {OS} Kernel {TCB} Reduction by Leveraging {Compile-Time} Configurability. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
Is Linux Kernel Oops Useful or Not?
.
2012. Is Linux Kernel Oops Useful or Not? Eighth Workshop on Hot Topics in System Dependability (HotDep 12).