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 |