Huu Hai Nguyen

15 papers A* 3A 1B 4C 2Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2021 — conf
An Ensemble Learning Approach for Credit Scoring Problem: A Case Study of Taiwan Default Credit Card Dataset.
MCO
Duc Quynh Tran, Doan Dong Nguyen, Huu Hai Nguyen, Quang Thuan Nguyen
2012 J jnl
Automated verification of shape, size and bag properties via user-defined predicates in separation logic.
Sci. Comput. Program.
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2008 C conf
Analysing memory resource bounds for low-level programs.
ISMM
Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
2008 A* conf
Enhancing Program Verification with Lemmas.
CAV
Huu Hai Nguyen, Wei-Ngan Chin
2008 A* conf
Enhancing modular OO verification with separation logic.
POPL
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2008 B conf
Runtime Checking for Separation Logic.
VMCAI
Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin
2007 B conf
Automated Verification of Shape and Size Properties Via Separation Logic.
VMCAI
Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin
2007 B conf
Automated Verification of Shape, Size and Bag Properties.
ICECCS
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2007 C conf
Detecting and eliminating memory leaks using cyclic memory allocation.
ISMM
Huu Hai Nguyen, Martin C. Rinard
2007 — conf
Multiple Pre/Post Specifications for Heap-Manipulating Methods.
HASE
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2006 J jnl
Deciding Boolean Algebra with Presburger Arithmetic.
J. Autom. Reason.
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
2005 A conf
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.
CADE
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
2005 — conf
Exploring the acceptability envelope.
OOPSLA Companion
Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
2005 B conf
Memory Usage Verification for OO Programs.
SAS
Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
2005 A* conf
Verifying safety policies with size properties and alias controls.
ICSE
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen