Opening Remarks

Program Co-chairs: Andreas Haeberlen, University of Pennsylvania; Mootaz Elnozahy, IBM Research - Austin

Session 1: Dependable Storage
Chair: Mootaz Elnozahy

Integrated End-to-End Dependability in the Loris Storage Stack
David C. van Moolenbroek, Raja Appuswamy, and Andrew S. Tanenbaum, Vrije Universiteit, Amsterdam

Scalable Byzantine Fault-Tolerant Storage
Ricardo Padilha and Fernando Pedone, University of Lugano

Lock-free Transactional Support for Large-scale Storage Systems
Maysam Yabandeh, Flavio Junqueira, and Benjamin Reed, Yahoo! Research

Discussion

Session 2: Security
Chair: Andreas Haeberlen

TO BEnchmark or NOT TO BEnchmark Security: That is the question
Afonso Araújo Neto and Marco Vieira, University of Coimbra

Automated Vulnerability Discovery in Distributed Systems
Radu Banabic, George Candea, and Rachid Guerraoui, EPFL

Limiting Cached-based Side-Channel in Multi-tenant Cloud using Dynamic Page Coloring
Jicheng Shi, Xiang Song, Haibo Chen, and Binyu Zang, Fudan University

Discussion

Session 3: System and Software Reliability
Chair: Pascal Felber

Exterminating Bugs via Collective Information Recycling
George Candea, EPFL

Platform-wide Deadlock Immunity for Mobile Phones
Horatiu Jula, Thomas Rensch, and George Candea, EPFL

Enabling Sophisticated Analysis of x86 Binaries with RevGen
Vitaly Chipounov and George Candea, EPFL

Discussion

Session 4: Architectural Support for Dependability
Chair: George Candea

Secure MMU: Architectural Support for Memory Isolation among Virtual Machines
Seongwook Jin and Jaehyuk Huh, KAIST

Transactional Memory for Dependable Embedded Systems
Christof Fetzer, TU Dresden, and Pascal Felber, University of Neuchatel

Discussion