Collaboration with NICTA on verified database logging mechanisms

The ongoing collaboration with the team of Gernot Heiser in NICTA (Australia) around the RapiLog project has led to a paper accepted at EuroSys 2013 

Title: RapiLog: Reducing system complexity through verification 

Authors: Gernot Heiser (NICTA and UNSW), Adrian Danis (NICTA and UNSW), Etienne Le Sueur (NICTA and UNSW), Gustavo Alonso (ETH Zurich), Tudor-Ioan Salomie (ETH Zurich)