 | 2009 |
|---|
| 74 |       | Wei-Ngan Chin,
Shengchao Qin:
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China
IEEE Computer Society 2009 |
| 73 |  | Guanhua He,
Shengchao Qin,
Chenguang Luo,
Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek.
ATVA 2009: 166-181 |
| 72 | | Florin Craciun,
Wei-Ngan Chin,
Guanhua He,
Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types.
ESOP 2009: 112-127 |
| 71 | | Cristina David,
Cristian Gherghina,
Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions.
PEPM 2009: 41-50 |
| 70 | | Adrian Nistor,
Wei-Ngan Chin,
Tiow-Seng Tan,
Nicolae Tapus:
Optimizing the parallel computation of linear recurrences using compact matrix representations.
J. Parallel Distrib. Comput. 69(4): 373-381 (2009) |
| 2008 |
|---|
| 69 | | Alexandru Stefan,
Florin Craciun,
Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI.
APLAS 2008: 19-35 |
| 68 | | Huu Hai Nguyen,
Wei-Ngan Chin:
Enhancing Program Verification with Lemmas.
CAV 2008: 355-369 |
| 67 | | Florin Craciun,
Shengchao Qin,
Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
ICFEM 2008: 126-146 |
| 66 | | Wei-Ngan Chin,
Huu Hai Nguyen,
Corneliu Popeea,
Shengchao Qin:
Analysing memory resource bounds for low-level programs.
ISMM 2008: 151-160 |
| 65 | | Corneliu Popeea,
Dana N. Xu,
Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination.
PEPM 2008: 177-187 |
| 64 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Enhancing modular OO verification with separation logic.
POPL 2008: 87-99 |
| 63 | | Tuan-Hung Pham,
Anh-Hoang Truong,
Ninh-Thuan Truong,
Wei-Ngan Chin:
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.
SEFM 2008: 259-267 |
| 62 | | Huu Hai Nguyen,
Viktor Kuncak,
Wei-Ngan Chin:
Runtime Checking for Separation Logic.
VMCAI 2008: 203-217 |
| 2007 |
|---|
| 61 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods.
HASE 2007: 357-364 |
| 60 | | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties.
ICECCS 2007: 307-320 |
| 59 | | Huu Hai Nguyen,
Cristina David,
Shengchao Qin,
Wei-Ngan Chin:
Automated Verification of Shape and Size Properties Via Separation Logic.
VMCAI 2007: 251-266 |
| 2006 |
|---|
| 58 | | Corneliu Popeea,
Wei-Ngan Chin:
Inferring Disjunctive Postconditions.
ASIAN 2006: 331-345 |
| 57 | | Wei-Ngan Chin,
Florin Craciun,
Siau-Cheng Khoo,
Corneliu Popeea:
A flow-based approach for variant parametric types.
OOPSLA 2006: 273-290 |
| 56 | | Florin Craciun,
Hong Yaw Goh,
Corneliu Popeea,
Wei-Ngan Chin:
Core-java: an expression-oriented java.
OOPSLA Companion 2006: 639-640 |
| 55 | | Stefan Andrei,
Wei-Ngan Chin,
Martin C. Rinard:
Incremental Deterministic Planning.
SYNASC 2006: 93-102 |
| 54 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Neil Jones:
Redundant Call Elimination via Tupling.
Fundam. Inform. 69(1-2): 1-37 (2006) |
| 53 | | Stefan Andrei,
Wei-Ngan Chin,
Albert Mo Kim Cheng,
Mihai Lupu:
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.
IEEE Trans. Computers 55(7): 830-842 (2006) |
| 52 | | Shengchao Qin,
Wei-Ngan Chin,
Jifeng He,
Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification.
ISSE 2(1): 17-38 (2006) |
| 2005 |
|---|
| 51 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Shengchao Qin,
Corneliu Popeea,
Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls.
ICSE 2005: 186-195 |
| 50 | | Stefan Andrei,
Albert Mo Kim Cheng,
Wei-Ngan Chin,
Mihai Lupu:
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.
IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 519-528 |
| 49 | | Stefan Andrei,
Wei-Ngan Chin,
Albert Mo Kim Cheng,
Yongxin Zhu:
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.
RTCSA 2005: 357-360 |
| 48 | | Wei-Ngan Chin,
Huu Hai Nguyen,
Shengchao Qin,
Martin C. Rinard:
Memory Usage Verification for OO Programs.
SAS 2005: 70-86 |
| 2004 |
|---|
| 47 | | Wei-Ngan Chin:
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Springer 2004 |
| 46 | | Viet-Anh Vu Tran,
Shengchao Qin,
Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog.
ICTAC 2004: 187-203 |
| 45 | | Stefan Andrei,
Wei-Ngan Chin:
Incremental Satisfiability Counting for Real-Time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489 |
| 44 | | Corneliu Popeea,
Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof.
PEPM 2004: 135-146 |
| 43 | | Wei-Ngan Chin,
Florin Craciun,
Shengchao Qin,
Martin C. Rinard:
Region inference for an object-oriented language.
PLDI 2004: 243-254 |
| 42 | | Stefan Andrei,
Wei-Ngan Chin,
Salvador Valerio Cavadini:
Self-embedded context-free grammars with regular counterparts.
Acta Inf. 40(5): 349-365 (2004) |
| 41 | | Wei-Ngan Chin,
Olivier Danvy,
Peter Thiemann:
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation.
Higher-Order and Symbolic Computation 17(1-2): 5-6 (2004) |
| 40 | | Stefan Andrei,
Wei-Ngan Chin:
Solving a class of higher-order equations over a group structure.
J. Symb. Comput. 37(3): 329-341 (2004) |
| 39 | | Stefan Andrei,
Wei-Ngan Chin,
Gheorghe Grigoras:
Co-determinism and unambiguity of automata accepting finite or infinite words.
Sci. Ann. Cuza Univ. 14: 1-11 (2004) |
| 2003 |
|---|
| 38 | | Shengchao Qin,
Wei-Ngan Chin:
Mapping Statecharts to Verilog for Hardware/Software Co-specification.
FME 2003: 282-300 |
| 37 | | Shengchao Qin,
Jin Song Dong,
Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming.
FME 2003: 321-340 |
| 36 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Extending sized type with collection analysis.
PEPM 2003: 75-84 |
| 35 | | Stefan Andrei,
Salvador Valerio Cavadini,
Wei-Ngan Chin:
A new algorithm for regularizing one-letter context-free grammars.
Theor. Comput. Sci. 306(1-3): 113-122 (2003) |
| 2002 |
|---|
| 34 | | Dana N. Xu,
Siau-Cheng Khoo,
Wei-Ngan Chin,
Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report).
APLAS 2002: 175-192 |
| 33 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Extending Sized Type with Collection Analysis.
APLAS 2002: 396-413 |
| 32 | | Wei-Ngan Chin,
Zhenjiang Hu:
Towards a Modular Program Derivation via Fusion and Tupling.
GPCE 2002: 140-155 |
| 31 | | Saswat Anand,
Wei-Ngan Chin,
Siau-Cheng Khoo:
A Lazy Divide and Conquer Approach to Constraint Solving.
ICTAI 2002: 91- |
| 30 | | Hui Wu,
Wei-Ngan Chin,
Joxan Jaffar:
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.
IEEE Trans. Software Eng. 28(1): 18-29 (2002) |
| 29 | | Stefan Andrei,
Wei-Ngan Chin,
Gheorghe Grigoras:
A Tutorial on a Monadic Approach for Expressions Evaluation.
Sci. Ann. Cuza Univ. 12: 1-27 (2002) |
| 2001 |
|---|
| 28 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Higher-Order Polymorphic Sized Types for Safety Checks.
APLAS 2001: 117-131 |
| 27 | | Saswat Anand,
Wei-Ngan Chin,
Siau-Cheng Khoo:
Charting Patterns on Price History.
ICFP 2001: 134-145 |
| 26 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Deriving Pre-conditions for Array Bound Check Elimination.
PADO 2001: 2-24 |
| 25 | | Wei-Ngan Chin,
Siau-Cheng Khoo:
Calculating Sized Types.
Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001) |
| 24 | | Zhenjiang Hu,
Wei-Ngan Chin,
Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis.
Journal of Functional and Logic Programming 2001(8): (2001) |
| 2000 |
|---|
| 23 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Deriving Pre-Conditions for Array Bound Check Elimination.
APLAS 2000: 9-21 |
| 22 | | Zhenjiang Hu,
Wei-Ngan Chin,
Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis.
PADL 2000: 169-184 |
| 21 | | Wei-Ngan Chin,
Siau-Cheng Khoo:
Calculating Sized Types.
PEPM 2000: 62-72 |
| 20 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Zhenjiang Hu,
Masato Takeichi:
Deriving Parallel Codes via Invariants.
SAS 2000: 75-94 |
| 1999 |
|---|
| 19 | | Wei-Ngan Chin,
Aik-Hui Goh,
Siau-Cheng Khoo:
Effective Optimization of Multiple Traversals in Lazy Languages.
PEPM 1999: 119-130 |
| 1998 |
|---|
| 18 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Tat-Wee Lee:
Synchronisation Analysis to Stop Tulping.
ESOP 1998: 75-89 |
| 17 | | Wei-Ngan Chin,
Akihiko Takano,
Zhenjiang Hu:
Parallelization via Context Preservation.
ICCL 1998: 153- |
| 16 | | Zhenjiang Hu,
Masato Takeichi,
Wei-Ngan Chin:
Parallelization in Calculational Forms.
POPL 1998: 316-328 |
| 1997 |
|---|
| 15 | | Wei-Ngan Chin,
Masami Hagiya:
A Bounds Inference Method for Vector-Based Memoisation.
ICFP 1997: 176-187 |
| 1996 |
|---|
| 14 | | Hui Wu,
Wei-Ngan Chin:
Variable Timestamp-Based Distributed Deadlock Detection and Resolution.
ASIAN 1996: 96-105 |
| 13 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Peter Thiemann:
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).
Dagstuhl Seminar on Partial Evaluation 1996: 33-53 |
| 12 | | Wei-Ngan Chin,
John Darlington,
Yike Guo:
Parallelizing Conditional Recurrences.
Euro-Par, Vol. I 1996: 579-586 |
| 11 | | Wei-Ngan Chin,
Siau-Cheng Khoo:
Better Consumers for Program Specializations.
Journal of Functional and Logic Programming 1996(4): (1996) |
| 10 | | Wei-Ngan Chin,
John Darlington:
A Higher-Order Removal Method.
Lisp and Symbolic Computation 9(4): 287-322 (1996) |
| 1995 |
|---|
| 9 | | Wei-Ngan Chin,
Siau-Cheng Khoo:
Better Consumers for Deforestation (Extended Abstract)
PLILP 1995: 223-240 |
| 8 | | Wei-Ngan Chin,
Masami Hagiya:
A Transformation Method for Dynamic-Sized Tabulation
Acta Inf. 32(2): 93-115 (1995) |
| 7 | | Gary S. H. Tan,
Wei-Ngan Chin:
Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor.
Computers and Artificial Intelligence 14(1): (1995) |
| 1994 |
|---|
| 6 | | Wei-Ngan Chin:
Safe Fusion of Functional Expressions II: Further Improvements.
J. Funct. Program. 4(4): 515-555 (1994) |
| 1993 |
|---|
| 5 | | Wei-Ngan Chin:
Towards an Automated Tupling Strategy.
PEPM 1993: 119-132 |
| 4 | | Wei-Ngan Chin,
Siau-Cheng Khoo:
Tupling Functions with Multiple Recursion Parameters.
WSA 1993: 124-140 |
| 1992 |
|---|
| 3 | | Gary S. H. Tan,
Wei-Ngan Chin:
Load Balancing in a Neighbourhood-Based Multiprocessor.
CONPAR 1992: 801-802 |
| 2 | | Wei-Ngan Chin:
Safe Fusion of Functional Expressions.
LISP and Functional Programming 1992: 11-20 |
| 1 | | Wei-Ngan Chin:
Fully Lazy Higher-Order Removal.
PEPM 1992: 38-47 |
