Xiao Ma

eDoctor : Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones

Xiao Ma, Peng Huang, Lawrence K. Saul, 2013 .

AutoISES: Automatically Inferring Security Specification and Detecting Violations

Xiao Ma, Xiaolan Zhang, Lin Tan, 2008, USENIX Security Symposium.

CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software Mining

Xiao Ma, Ding Yuan, Jiawei Han, 2008, SDM.

An empirical study on configuration errors in commercial and open source systems

Xiao Ma, Yuanyuan Zhou, Zuoning Yin, 2011, SOSP.

Performance regression testing target prioritization via performance risk analysis

Xiao Ma, Peng Huang, Yuanyuan Zhou, 2014, ICSE.

MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs

Xiao Ma, Yuanyuan Zhou, Shan Lu, 2007, SOSP.

eDoctor: automatically diagnosing abnormal battery drain issues on smartphones

G. Voelker, L. Saul, Yuanyuan Zhou, 2013, NSDI 2013.