Automated Verification of Shape and Size (2007)
Nguyen, Huu Hai, David, Cristina, Qin, Shengchao, Chin, Wei Ngan
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...
Automated Verification of Shape and Size (2007)
Nguyen, Huu Hai, David, Cristina, Qin, Shengchao, Chin, Wei Ngan
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...
Memory Usage Inference for Object-Oriented Programs (2004)
Nguyen, Huu Hai, Chin, Wei Ngan, Qin, Shengchao, Rinard, Martin C.
We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a...
Memory Usage Inference for Object-Oriented Programs (2004)
Nguyen, Huu Hai, Chin, Wei Ngan, Qin, Shengchao, Rinard, Martin C.
We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a...
Region Inference for an Object-Oriented Language (2004)
Wei-ngan Chin, Florin Craciun, Shengchao Qin, Martin Rinard
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient use of limited memory....
Region Type Checking for Core-Java (2003)
Chin, Wei Ngan, Qin, Shengchao, Rinard, Martin C.
Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept...
Region Type Checking for Core-Java (2003)
Chin, Wei Ngan, Qin, Shengchao, Rinard, Martin C.
Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept...
Towards An Automated Approach to Hardware/Software Decomposition (2003)
Qin, Shengchao, He, Jifeng, Chin, Wei Ngan
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from...
Towards An Automated Approach to Hardware/Software Decomposition (2003)
Qin, Shengchao, He, Jifeng, Chin, Wei Ngan
We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from...