 | 2009 |
|---|
| 5 |       | Yunji Chen,
Yi Lv,
Weiwu Hu,
Tianshi Chen,
Haihua Shen,
Pengyu Wang,
Hong Pan:
Fast complete memory consistency verification.
HPCA 2009: 381-392 |
| 4 | | Yan Guo,
Yu Wang,
Guodong Ding,
Donglin Cao,
Gang Zhang,
Yi Lv:
Juicer: Scalable Extraction for Thread Meta-information of Web Forum.
PAISI 2009: 143-148 |
| 3 | | Hong Pan,
Yi Lv,
Huimin Lin:
Environment Abstraction with State Clustering and Parameter Truncating.
TASE 2009: 73-80 |
| 2007 |
|---|
| 2 | | Yi Lv,
Huimin Lin,
Hong Pan:
Computing Invariants for Parameter Abstraction.
MEMOCODE 2007: 29-38 |
| 2006 |
|---|
| 1 | | Hong Pan,
Huimin Lin,
Yi Lv:
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol. 21(5): 765-775 (2006) |
