BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nguyen:Huu_Hai

Contributed to:

CAV 20082008
ISMM 20082008
POPL 20082008
VMCAI 20082008
ISMM 20072007
VMCAI 20072007
CADE 20052005
ICSE 20052005
SAS 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.