Umut A. Acar, Max Planck Institute for Software Systems (MPI-SWS)