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 ...