Tianyin Xu: Hardening Cloud and Datacenter Systems against Misconfigurations: Principles and Tool Support. University of California, San Diego, USA 2017