 | 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) |
