- Multiple Pre/Post Specifications for HeapManipulating Methods WeiNgan Chin 1,2 Cristina David 1 Huu Hai Nguyen 2 Shengchao Qin 3
- Deriving Efficient Parallel Programs for Complex Recurrences
- Parallelization in Calculational Forms Zhenjiang Hu
- Synchronisation Analysis to Stop Tupling ? WeiNgan Chin 1 , SiauCheng Khoo 1 , and TatWee Lee 2
- Runtime Checking for Separation Logic Huu Hai Nguyen 1 , Viktor Kuncak 2 , and WeiNgan Chin 1,3
- Calculating a New Data Mining Algorithm for Market Basket Analysis
- A Flow-Based Approach for Variant Parametric Types Wei-Ngan Chin Florin Craciun Siau-Cheng Khoo Corneliu Popeea
- Region Inference for an ObjectOriented Language WeiNgan Chin 1;2 , Florin Craciun 2 , Shengchao Qin 1;2 , and Martin Rinard 3
- Automated Verification of Shape and Size Properties via Separation Logic
- Deriving Parallel Codes via Invariants WeiNgan Chin 1 , SiauCheng Khoo 1 , Zhenjiang Hu 2 , and Masato Takeichi 2
- A Bounds Inference Method for VectorBased Memoization
- Verifying Safety Policies with Size Properties and Alias Controls WeiNgan Chin 1,2 , SiauCheng Khoo 1 , Shengchao Qin 3# , Corneliu Popeea 1 , and Huu Hai Nguyen 2
- Enhancing Modular OO Verification with Separation Logic WeiNgan Chin 1,2 Cristina David 1 Huu Hai Nguyen 1,2 Shengchao Qin 3
- Parallelizing Conditional Recurrences W.N. CHIN 1 and J. DARLINGTON 2 and Y. GUO 2
- Extending Sized Type with Collection Analysis Wei-Ngan Chin
- Calculating Sized Types WeiNgan Chin and SiauCheng Khoo
- Analysing Memory Resource Bounds for Low-Level Programs Wei-Ngan Chin1 Huu Hai Nguyen1 Corneliu Popeea1 Shengchao Qin2
- A Practical and Precise Inference and Specializer for Array Bound Checks Elimination
- Deriving Pre-conditions for Array Bound Check Elimination
- Automated Verification of Shape, Size and Bag Properties WeiNgan Chin 1,2 Cristina David 1 Huu Hai Nguyen 2 Shengchao Qin 3
- Effective Optimisation of Multiple Traversals in Lazy Languages
- Parallelization via Context Preservation WeiNgan CHIN \Lambda
- Memory Usage Verification for OO Programs Wei-Ngan Chin1,2
- A Modular Type Inference and Specializer for Array Bound Checks Elimination
- A Type System for Resource Protocol Verification and its Correctness Proof
- Enhancing Program Verification with Lemmas Huu Hai Nguyen and WeiNgan Chin
- Inferring Disjunctive Postconditions Corneliu Popeea and WeiNgan Chin
- Charting Patterns on Price History Saswat Anand and WeiNgan Chin and SiauCheng Khoo
