Runtime Checking for Separation Logic (2007)
Nguyen, Huu Hai, Kuncak, Viktor, Chin, Wei Ngan
Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems verify a subclass of separation logic specifications using static...
Algorithm Debugging and Animation (2007)
Chen, Dingming Benedict, Chin, Wei Ngan
The field of debugging remains to be a great area of concern for individuals working in various computing-related disciplines. With computer programs becoming significantly larger and complex over...
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...
Incremental Verification of Timing Constraints for Real-Time Systems (2004)
Andrei, Åtefan, Chin, Wei Ngan, Rinard, Martin C.
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing...
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...
Incremental Verification of Timing Constraints for Real-Time Systems (2004)
Andrei, Åtefan, Chin, Wei Ngan, Rinard, Martin C.
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing...
A New Constructive Method for the One-Letter Context-Free Grammars (2003)
Andrei, Åtefan, Chin, Wei Ngan
Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars...
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...
A New Constructive Method for the One-Letter Context-Free Grammars (2003)
Andrei, Åtefan, Chin, Wei Ngan
Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars...
A Type-Based Approach to Parallelization (2003)
Dana N. XU, Siau Cheng KHOO, Wei Ngan CHIN, Zhenjiang HU
Parallel functional programming plays an important role in parallel programming [16]. Type system has signi.cant impact on program analysis [23]. In this paper, we show how to automatically and...
Solving a Class of Higher-Order Equations over a Group Structure (2003)
Andrei, Åtefan, Chin, Wei Ngan
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this...
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...
Solving a Class of Higher-Order Equations over a Group Structure (2003)
Andrei, Åtefan, Chin, Wei Ngan
In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this...