25. SOSP 2015: Monterey, CA, USA

Formal systems

Distributed transactions

Distributed systems

Concurrency and performance

Energy aware systems

More distributed transactions

Experience and practice

Bugs and analysis

Big data

Storage systems

Schloss Dagstuhl LZI