Pramod Bhatotia, Max Planck Institute for Software Systems (MPI-SWS)