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

maintained by Schloss Dagstuhl LZI at University of Trier