Abstract is missing.
- ShadowDB: A Replicated Database on a Synthesized Consensus CoreNicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable. [doi]
- Programming Model Support for Dependable, Elastic Cloud ApplicationsWei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni. [doi]
- Collaborative Energy Debugging for Mobile DevicesAdam J. Oliner, Anand P. Iyer, Eemil Lagerspetz, Sasu Tarkoma. [doi]
- Toward a Principled Framework for Benchmarking ConsistencyMuntasir Raihan Rahman, Wojciech M. Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie. [doi]
- Automatic Undo for Cloud Management via AI PlanningIngo Weber, Hiroshi Wada, Alan Fekete, Anna Liu, Len Bass. [doi]
- CORD: A Collaborative Framework for Distributed Data Race DetectionBaris Kasikci, Cristian Zamfir, George Candea. [doi]
- Automatic OS Kernel TCB Reduction by Leveraging Compile-Time ConfigurabilityReinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann. [doi]
- Who Watches the Watchmen? Protecting Operating System Reliability MechanismsBjörn Döbel, Hermann Härtig. [doi]
- Is Linux Kernel Oops Useful or Not?Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono. [doi]
- ABHRANTA: Locating Bugs that Manifest at Large System ScalesBowen Zhou, Milind Kulkarni, Saurabh Bagchi. [doi]