Publications
Lin Tan, Xiaolan (Catherine) Zhang, Xiao Ma, Weiwei Xiong and Yuanyuan Zhou. AutoISES: Automatically Inferring Security Specifications and Detecting Violations. In the Proceedings of the 17th USENIX Security Symposium (USENIX Security'08), July-August, 2008.
Ding Yuan, Kyuhyung Lee, Hong Cheng, Gopal Krishna, Zhenmin Li, Xiao Ma, Yuanyuan Zhou and Jiawei Han. CISpan: Comprehensive Incremental Mining Algorithms of Closed Sequential Patterns for Multi-Versional Software Mining. In the proceedings of 2008 SIAM Int. Conf. on Data Mining (SDM'08), Atlanta, Georgia, April 2008.
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou. MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs. In the Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007.