Animesh Nandi, Rice University and Max Planck Institute for Software Systems