Searching for authors named "Huu Hai Nguyen" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Detecting and Eliminating Memory Leaks Using Cyclic Memory Allocation
- … the number of allocated and deallocated objects from the site grows above Huu Hai Nguyen and Martin Rinard…
- Cited by 3 (0 self) – Add To MetaCart
-
Runtime Checking for Separation Logic
- … Runtime Checking for Separation Logic Huu Hai Nguyen1, Viktor Kuncak2, and Wei-Ngan Chin1,3 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Memory Usage Verification for OO Programs
- …Memory Usage Verification for OO Programs ⋆ Wei-Ngan Chin 1,2 , Huu Hai Nguyen 1 , Shengchao Qin 3…
- Cited by 10 (0 self) – Add To MetaCart
-
Automated verification of shape and size properties via separation logic
- … Automated Verification of Shape and Size Properties via Separation Logic Huu Hai Nguyen1…
- Cited by 9 (4 self) – Add To MetaCart
-
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
- … Hai Nguyen 2 , and Martin Rinard 1,2 1 MIT CSAIL, Cambridge, USA 2 Singapore-MIT Alliance Abstract. We…
- Cited by 18 (11 self) – Add To MetaCart
-
Enhancing modular OO verification with separation logic
- … David ¢¡ £ Huu Hai Nguyen Shengchao Qin ¤ ¥ Department of Computer Science, National University…
- Cited by 5 (0 self) – Add To MetaCart
-
Deciding Boolean Algebra with Presburger Arithmetic
- …Deciding Boolean Algebra with Presburger Arithmetic Viktor Kuncak 1 , Huu Hai Nguyen 2…
- Cited by 13 (12 self) – Add To MetaCart
-
Verifying safety policies with size properties and alias controls
- …-Cheng Khoo 1 , Shengchao Qin 3∗ , Corneliu Popeea 1 , and Huu Hai Nguyen 2 1 Department of Computer Science…
- Cited by 16 (6 self) – Add To MetaCart
Showing 1 through 8.
