Travelled to:1 × Canada
1 × Estonia
1 × France
1 × United Kingdom
5 × USA
Collaborated with:W.Chin S.Qin M.C.Rinard V.Kuncak C.David C.Popeea S.Khoo
Talks about:memori (4) verif (4) program (3) separ (3) logic (3) properti (2) enhanc (2) size (2) algorithm (1) presburg (1)
Person: Huu Hai Nguyen
DBLP: Nguyen:Huu_Hai
Contributed to:
2008
2008
2008
200820072007
2005
2005
2005Wrote 9 papers:
- CAV-2008-NguyenC #verification
- Enhancing Program Verification with Lemmas (HHN, WNC), pp. 355–369.
- ISMM-2008-ChinNPQ #bound #low level #memory management #source code
- Analysing memory resource bounds for low-level programs (WNC, HHN, CP, SQ), pp. 151–160.
- POPL-2008-ChinDNQ #composition #logic #object-oriented #verification
- Enhancing modular OO verification with separation logic (WNC, CD, HHN, SQ), pp. 87–99.
- VMCAI-2008-NguyenKC #logic #runtime
- Runtime Checking for Separation Logic (HHN, VK, WNC), pp. 203–217.
- ISMM-2007-NguyenR #detection #memory management #using
- Detecting and eliminating memory leaks using cyclic memory allocation (HHN, MCR), pp. 15–30.
- VMCAI-2007-NguyenDQC #automation #logic #verification
- Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.
- CADE-2005-KuncakNR #algebra #algorithm
- An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic (VK, HHN, MCR), pp. 260–277.
- ICSE-2005-ChinKQPN #alias #policy #safety #verification
- Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.
- SAS-2005-ChinNQR #memory management #object-oriented #source code #verification
- Memory Usage Verification for OO Programs (WNC, HHN, SQ, MCR), pp. 70–86.