2009 |
71 | EE | Florin Craciun,
Wei-Ngan Chin,
Guanhua He,
Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types.
ESOP 2009: 112-127 |
70 | EE | Cristina David,
Cristian Gherghina,
Wei-Ngan Chin:
Translation and optimization for a core calculus with exceptions.
PEPM 2009: 41-50 |
2008 |
69 | EE | Alexandru Stefan,
Florin Craciun,
Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI.
APLAS 2008: 19-35 |
68 | EE | Huu Hai Nguyen,
Wei-Ngan Chin:
Enhancing Program Verification with Lemmas.
CAV 2008: 355-369 |
67 | EE | 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 | EE | Wei-Ngan Chin,
Huu Hai Nguyen,
Corneliu Popeea,
Shengchao Qin:
Analysing memory resource bounds for low-level programs.
ISMM 2008: 151-160 |
65 | EE | 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 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Enhancing modular OO verification with separation logic.
POPL 2008: 87-99 |
63 | EE | 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 | EE | Huu Hai Nguyen,
Viktor Kuncak,
Wei-Ngan Chin:
Runtime Checking for Separation Logic.
VMCAI 2008: 203-217 |
2007 |
61 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods.
HASE 2007: 357-364 |
60 | EE | Wei-Ngan Chin,
Cristina David,
Huu Hai Nguyen,
Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties.
ICECCS 2007: 307-320 |
59 | EE | 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 | EE | Corneliu Popeea,
Wei-Ngan Chin:
Inferring Disjunctive Postconditions.
ASIAN 2006: 331-345 |
57 | EE | Wei-Ngan Chin,
Florin Craciun,
Siau-Cheng Khoo,
Corneliu Popeea:
A flow-based approach for variant parametric types.
OOPSLA 2006: 273-290 |
56 | EE | Florin Craciun,
Hong Yaw Goh,
Corneliu Popeea,
Wei-Ngan Chin:
Core-java: an expression-oriented java.
OOPSLA Companion 2006: 639-640 |
55 | EE | Stefan Andrei,
Wei-Ngan Chin,
Martin C. Rinard:
Incremental Deterministic Planning.
SYNASC 2006: 93-102 |
54 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Neil Jones:
Redundant Call Elimination via Tupling.
Fundam. Inform. 69(1-2): 1-37 (2006) |
53 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Viet-Anh Vu Tran,
Shengchao Qin,
Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog.
ICTAC 2004: 187-203 |
45 | EE | 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 | EE | Corneliu Popeea,
Wei-Ngan Chin:
A type system for resource protocol verification and its correctness proof.
PEPM 2004: 135-146 |
43 | EE | Wei-Ngan Chin,
Florin Craciun,
Shengchao Qin,
Martin C. Rinard:
Region inference for an object-oriented language.
PLDI 2004: 243-254 |
42 | EE | Stefan Andrei,
Wei-Ngan Chin,
Salvador Valerio Cavadini:
Self-embedded context-free grammars with regular counterparts.
Acta Inf. 40(5): 349-365 (2004) |
41 | EE | 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 | EE | 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 | EE | Shengchao Qin,
Wei-Ngan Chin:
Mapping Statecharts to Verilog for Hardware/Software Co-specification.
FME 2003: 282-300 |
37 | EE | Shengchao Qin,
Jin Song Dong,
Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming.
FME 2003: 321-340 |
36 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Extending sized type with collection analysis.
PEPM 2003: 75-84 |
35 | EE | 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 | EE | Wei-Ngan Chin,
Zhenjiang Hu:
Towards a Modular Program Derivation via Fusion and Tupling.
GPCE 2002: 140-155 |
31 | EE | Saswat Anand,
Wei-Ngan Chin,
Siau-Cheng Khoo:
A Lazy Divide and Conquer Approach to Constraint Solving.
ICTAI 2002: 91- |
30 | EE | 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 | EE | 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 | EE | Zhenjiang Hu,
Wei-Ngan Chin,
Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis.
PADL 2000: 169-184 |
21 | EE | 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 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Tat-Wee Lee:
Synchronisation Analysis to Stop Tulping.
ESOP 1998: 75-89 |
17 | EE | Wei-Ngan Chin,
Akihiko Takano,
Zhenjiang Hu:
Parallelization via Context Preservation.
ICCL 1998: 153- |
16 | EE | 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 | EE | 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 |