Huu Hai Nguyen

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 1

Top Topics

Automated Verification

Logistic Regression

Ensemble Learning

Top Venues

Sci. Comput. Program.

Publications

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