Huu Hai Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2005–2008
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CAV | Enhancing Program Verification with Lemmas. | Huu Hai Nguyen, Wei-Ngan Chin |
| 2008 | POPL | Enhancing modular OO verification with separation logic. | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2008 | VMCAI | Runtime Checking for Separation Logic. | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
| 2007 | ICECCS | Automated Verification of Shape, Size and Bag Properties. | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2007 | VMCAI | Automated Verification of Shape and Size Properties Via Separation Logic. | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2005 | CADE | An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
| 2005 | ICSE | Verifying safety policies with size properties and alias controls. | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
| 2005 | OOPSLA | Exploring the acceptability envelope. | Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen |
| 2005 | SAS | Memory Usage Verification for OO Programs. | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |