Browsing Computer Science (CS) by Author "Chin, Wei Ngan"

Now showing items 1-7 of 7

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

    • Incremental Verification of Timing Constraints for Real-Time Systems 

      Andrei, Å tefan; Chin, Wei Ngan; Rinard, Martin C. (2005-01)
      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 constraints can be done by ...

    • Memory Usage Inference for Object-Oriented Programs 

      Nguyen, Huu Hai; Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2005-01)
      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 program with size and alias ...

    • A New Constructive Method for the One-Letter Context-Free Grammars 

      Andrei, Å tefan; Chin, Wei Ngan (2004-01)
      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 for which this is always ...

    • Region Type Checking for Core-Java 

      Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2004-01)
      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 of regions was first ...

    • Solving a Class of Higher-Order Equations over a Group Structure 

      Andrei, Å tefan; Chin, Wei Ngan (2003-01)
      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 trend has been the ...

    • Towards An Automated Approach to Hardware/Software Decomposition 

      Qin, Shengchao; He, Jifeng; Chin, Wei Ngan (2003-01)
      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 which we design a set ...