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)

POSTER: HythTM: Extending the Applicability of Intel TSX Hardware Transactional Support. - Arnamoy Bhattacharyya; Mike Dai Wang; Mihai Burcea; Yi Ding; Allen Deng; Sai Varikooty; Shafaaf Hossain; Cristiana Amza (PPoPP, 2017)