MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. - Shan Lu 001; Soyeon Park; Chongfeng Hu; Xiao Ma 014; Weihang Jiang; Zhenmin Li; Raluca A. Popa; Yuanyuan Zhou 001 (SOSP, 2007)

CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software Mining. - Ding Yuan 004; Kyuhyung Lee; Hong Cheng 001; Gopal Krishna; Zhenmin Li; Xiao Ma 014; Yuanyuan Zhou 001; Jiawei Han 001 (SDM, 2008)

AutoISES: Automatically Inferring Security Specification and Detecting Violations. - Lin Tan 001; Xiaolan Zhang 001; Xiao Ma 014; Weiwei Xiong; Yuanyuan Zhou 001 (USENIX Security Symposium, 2008)

An empirical study on configuration errors in commercial and open source systems. - Zuoning Yin; Xiao Ma 014; Jing Zheng; Yuanyuan Zhou 001; Lakshmi N. Bairavasundaram; Shankar Pasupathy (SOSP, 2011)

Diagnosing and debugging abnormal battery drain on smartphones - Xiao Ma 014 (2012)

eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones. - Xiao Ma 014; Peng Huang 005; Xinxin Jin; Pei Wang; Soyeon Park; Dongcai Shen; Yuanyuan Zhou 001; Lawrence K. Saul; Geoffrey M. Voelker (NSDI, 2013)

Performance regression testing target prioritization via performance risk analysis. - Peng Huang 005; Xiao Ma 014; Dongcai Shen; Yuanyuan Zhou 001 (ICSE, 2014)