 | 2009 |
|---|
| 5 |       | Guanhua He,
Shengchao Qin,
Chenguang Luo,
Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek.
ATVA 2009: 166-181 |
| 4 | | Florin Craciun,
Wei-Ngan Chin,
Guanhua He,
Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types.
ESOP 2009: 112-127 |
| 3 | | Guanhua He,
Chenguang Luo:
Heap Memory Requirements Analysis via Separation Logic.
TASE 2009: 321-322 |
| 2008 |
|---|
| 2 | | Chenguang Luo,
Guanhua He,
Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic.
APSEC 2008: 127-134 |
| 2007 |
|---|
| 1 | | Shengchao Qin,
Guanhua He:
Linking Object-Z with Spec#.
ICECCS 2007: 185-196 |
