 | 2009 |
| 4 |  | Joseph Tucek,
Weiwei Xiong,
Yuanyuan Zhou:
Efficient online validation with delta execution.
ASPLOS 2009: 193-204 |
| 3 |  | Soyeon Park,
Yuanyuan Zhou,
Weiwei Xiong,
Zuoning Yin,
Rini Kaushik,
Kyu H. Lee,
Shan Lu:
PRES: probabilistic replay with execution sketching on multiprocessors.
SOSP 2009: 177-192 |
| 2008 |
| 2 |  | Lin Tan,
Xiaolan Zhang,
Xiao Ma,
Weiwei Xiong,
Yuanyuan Zhou:
AutoISES: Automatically Inferring Security Specification and Detecting Violations.
USENIX Security Symposium 2008: 379-394 |
| 2007 |
| 1 |  | Mingqing Zheng,
Weiwei Xiong,
Dapeng Ju,
Dongsheng Wang:
T-Archive: A Novel HSM-Based Data Archive System.
Data Science Journal 6: 441-444 (2007) |