| 2008 |
|---|
| 13 | EE | Huu Hai Nguyen,
Wei-Ngan Chin:
Enhancing Program Verification with Lemmas.
CAV 2008: 355-369 |
| 12 | EE | Wei-Ngan Chin,
Huu Hai Nguyen,
Corneliu Popeea,
Shengchao Qin:
Analysing memory resource bounds for low-level programs.
ISMM 2008: 151-160 |
| 11 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Enhancing modular OO verification with separation logic.
POPL 2008: 87-99 |
| 10 | EE | Huu Hai Nguyen,
Viktor Kuncak,
Wei-Ngan Chin:
Runtime Checking for Separation Logic.
VMCAI 2008: 203-217 |
| 2007 |
|---|
| 9 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods.
HASE 2007: 357-364 |
| 8 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties.
ICECCS 2007: 307-320 |
| 7 | EE | Huu Hai Nguyen,
Martin C. Rinard:
Detecting and eliminating memory leaks using cyclic memory allocation.
ISMM 2007: 15-30 |
| 6 | EE | Huu Hai Nguyen,
Cristina David,
Shengchao Qin,
Wei-Ngan Chin:
Automated Verification of Shape and Size Properties Via Separation Logic.
VMCAI 2007: 251-266 |
| 2006 |
|---|
| 5 | EE | Viktor Kuncak,
Huu Hai Nguyen,
Martin C. Rinard:
Deciding Boolean Algebra with Presburger Arithmetic.
J. Autom. Reasoning 36(3): 213-239 (2006) |
| 2005 |
|---|
| 4 | EE | Viktor Kuncak,
Huu Hai Nguyen,
Martin C. Rinard:
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.
CADE 2005: 260-277 |
| 3 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Shengchao Qin,
Corneliu Popeea,
Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls.
ICSE 2005: 186-195 |
| 2 | EE | Martin C. Rinard,
Cristian Cadar,
Huu Hai Nguyen:
Exploring the acceptability envelope.
OOPSLA Companion 2005: 21-30 |
| 1 | EE | Wei-Ngan Chin,
Huu Hai Nguyen,
Shengchao Qin,
Martin C. Rinard:
Memory Usage Verification for OO Programs.
SAS 2005: 70-86 |
