Browsing Computer Science (CS) by Author "Nguyen, Huu Hai"
Now showing items 1-2 of 2
-
Automated Verification of Shape and Size
Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei Ngan (2007-01)Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ... -
Using Cyclic Memory Allocation to Eliminate Memory Leaks
Nguyen, Huu Hai; Rinard, Martin C. (2006-01)We present and evaluate a new memory management technique for eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program on a sequence of training inputs to ...