Sherlog: error diagnosis by connecting clues from run-time logs D Yuan, H Mai, W Xiong, L Tan, Y Zhou, S Pasupathy Proceedings of the fifteenth International Conference on Architectural …, 2010 | 440 | 2010 |
Pres: probabilistic replay with execution sketching on multiprocessors S Park, Y Zhou, W Xiong, Z Yin, R Kaushik, KH Lee, S Lu Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 303 | 2009 |
Ad hoc synchronization considered harmful W Xiong, S Park, J Zhang, Y Zhou, Z Ma 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), 2010 | 182 | 2010 |
AutoISES: Automatically Inferring Security Specification and Detecting Violations. L Tan, X Zhang, X Ma, W Xiong, Y Zhou USENIX Security Symposium, 379-394, 2008 | 148 | 2008 |
Scheduling execution of complementary jobs based on resource usage A Kansal, W Xiong, J Liu US Patent 8,959,526, 2015 | 111 | 2015 |
Efficient online validation with delta execution J Tucek, W Xiong, Y Zhou Proceedings of the 14th international conference on Architectural support …, 2009 | 66 | 2009 |
StealthTest: Low overhead online software testing using transactional memory J Bobba, W Xiong, L Yen, MD Hill, DA Wood 2009 18th International Conference on Parallel Architectures and Compilation …, 2009 | 20 | 2009 |
Energy Efficient Data Intensive Distributed Computing. W Xiong, A Kansal IEEE Data Eng. Bull. 34 (1), 24-33, 2011 | 19 | 2011 |
ATDetector: Improving the Accuracy of a Commercial Data Race Detector by Identifying Address Transfer J Zhang, W Xiong, Y Liu, S Park, Y Zhou, Z Ma | 16 | 2011 |
T-Archive: A Novel HSM-Based Data Archive System M Zheng, W Xiong, D Ju, D Wang Data Science Journal 6 (0), 441-444, 2007 | | 2007 |