Chorus: an interactive approach to incremental modeling and validation in clouds. - Jin Chen 006; Gokul Soundararajan; Saeed Ghanbari; Zartab Jamil; Mike Dai Wang; Ali B. Hashemi; Cristiana Amza (CASCON, 2014)

Optimizing application downtime through intelligent VM placement and migration in cloud data centers. - Venkatesh Nandakumar; Alan Wen Jun Lu; Madalin Mihailescu; Zartab Jamil; Cristiana Amza; Harsh V. P. Singh (CASCON, 2015)