Huu Hai Nguyen

According to our database, Huu Hai Nguyen authored at least 15 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

An Ensemble Learning Approach for Credit Scoring Problem: A Case Study of Taiwan Default Credit Card Dataset.

Duc Quynh Tran, Doan Dong Nguyen, Huu Hai Nguyen, Quang Thuan Nguyen

Proceedings of the Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 4th International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, 2021

2012

Automated verification of shape, size and bag properties via user-defined predicates in separation logic.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Sci. Comput. Program., 2012

2008

Runtime Checking for Separation Logic.

Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin

Proceedings of the Verification, 2008

Enhancing modular OO verification with separation logic.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Analysing memory resource bounds for low-level programs.

Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin

Proceedings of the 7th International Symposium on Memory Management, 2008

Enhancing Program Verification with Lemmas.

Huu Hai Nguyen, Wei-Ngan Chin

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Automated Verification of Shape and Size Properties Via Separation Logic.

Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin

Proceedings of the Verification, 2007

Detecting and eliminating memory leaks using cyclic memory allocation.

Huu Hai Nguyen, Martin C. Rinard

Proceedings of the 6th International Symposium on Memory Management, 2007

Automated Verification of Shape, Size and Bag Properties.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Multiple Pre/Post Specifications for Heap-Manipulating Methods.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Deciding Boolean Algebra with Presburger Arithmetic.

Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard

J. Autom. Reason., 2006

2005

Memory Usage Verification for OO Programs.

Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard

Proceedings of the Static Analysis, 12th International Symposium, 2005

Exploring the acceptability envelope.

Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Verifying safety policies with size properties and alias controls.

Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.

Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard

Proceedings of the Automated Deduction, 2005