dblp.uni-trier.dewww.uni-trier.de

Huu Hai Nguyen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Cristian Cadar [2]
2Wei-Ngan Chin [1] [3] [6] [8] [9] [10] [11] [12] [13]
3Cristina David [6] [8] [9] [11]
4Siau-Cheng Khoo [3]
5Viktor Kuncak [4] [5] [10]
6Corneliu Popeea [3] [12]
7Shengchao Qin [1] [3] [6] [8] [9] [11] [12]
8Martin C. Rinard [1] [2] [4] [5] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)