Biblio

Export 2 results:
Filters: Author is Xiao Ma  [Clear All Filters]
2013
Ma X, Huang P, Jin X, Wang P, Park S, Shen D, Zhou Y, Saul LK, Voelker GM.  2013.  eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :57--70.
2008
Tan L, Zhang X, Ma X, Xiong W, Zhou Y.  2008.  AutoISES: Automatically Inferring Security Specification and Detecting Violations. 17th USENIX Security Symposium (USENIX Security 08).