dblp.uni-trier.dewww.uni-trier.de

Wei-Ngan Chin Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
73EEGuanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin: Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181
72EEFlorin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin: An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127
71EECristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50
70EEAdrian 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
69EEAlexandru Stefan, Florin Craciun, Wei-Ngan Chin: A Flow-Sensitive Region Inference for CLI. APLAS 2008: 19-35
68EEHuu Hai Nguyen, Wei-Ngan Chin: Enhancing Program Verification with Lemmas. CAV 2008: 355-369
67EEFlorin Craciun, Shengchao Qin, Wei-Ngan Chin: A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146
66EEWei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin: Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160
65EECorneliu Popeea, Dana N. Xu, Wei-Ngan Chin: A practical and precise inference and specializer for array bound checks elimination. PEPM 2008: 177-187
64EEWei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Enhancing modular OO verification with separation logic. POPL 2008: 87-99
63EETuan-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
62EEHuu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin: Runtime Checking for Separation Logic. VMCAI 2008: 203-217
2007
61EEWei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364
60EEWei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320
59EEHuu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin: Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266
2006
58EECorneliu Popeea, Wei-Ngan Chin: Inferring Disjunctive Postconditions. ASIAN 2006: 331-345
57EEWei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
56EEFlorin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin: Core-java: an expression-oriented java. OOPSLA Companion 2006: 639-640
55EEStefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102
54EEWei-Ngan Chin, Siau-Cheng Khoo, Neil Jones: Redundant Call Elimination via Tupling. Fundam. Inform. 69(1-2): 1-37 (2006)
53EEStefan 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)
52EEShengchao 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
51EEWei-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
50EEStefan 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
49EEStefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360
48EEWei-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
46EEViet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin: An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203
45EEStefan Andrei, Wei-Ngan Chin: Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489
44EECorneliu Popeea, Wei-Ngan Chin: A type system for resource protocol verification and its correctness proof. PEPM 2004: 135-146
43EEWei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard: Region inference for an object-oriented language. PLDI 2004: 243-254
42EEStefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Inf. 40(5): 349-365 (2004)
41EEWei-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)
40EEStefan 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
38EEShengchao Qin, Wei-Ngan Chin: Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300
37EEShengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340
36EEWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending sized type with collection analysis. PEPM 2003: 75-84
35EEStefan 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
32EEWei-Ngan Chin, Zhenjiang Hu: Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155
31EESaswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91-
30EEHui 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
26EEWei-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
22EEZhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
21EEWei-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
18EEWei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee: Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89
17EEWei-Ngan Chin, Akihiko Takano, Zhenjiang Hu: Parallelization via Context Preservation. ICCL 1998: 153-
16EEZhenjiang 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
12EEWei-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
9EEWei-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
3EEGary S. H. Tan, Wei-Ngan Chin: Load Balancing in a Neighbourhood-Based Multiprocessor. CONPAR 1992: 801-802
2EEWei-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

Coauthor Index

1Saswat Anand [27] [31]
2Stefan Andrei [29] [35] [39] [40] [42] [45] [49] [50] [53] [55]
3Salvador Valerio Cavadini [35] [42]
4Albert Mo Kim Cheng (Albert M. K. Cheng) [49] [50] [53]
5Florin Craciun [43] [56] [57] [67] [69] [72]
6Olivier Danvy [41]
7John Darlington [10] [12]
8Cristina David [59] [60] [61] [64] [71]
9Jin Song Dong [37]
10Cristian Gherghina [71]
11Aik-Hui Goh [19]
12Hong Yaw Goh [56]
13Gheorghe Grigoras [29] [39]
14Yike Guo [12]
15Masami Hagiya [8] [15]
16Guanhua He [72] [73]
17Jifeng He [52]
18Zhenjiang Hu [16] [17] [20] [22] [24] [32] [34]
19Joxan Jaffar [30]
20Neil Jones [54]
21Siau-Cheng Khoo [4] [9] [11] [13] [18] [19] [20] [21] [23] [25] [26] [27] [28] [31] [33] [34] [36] [51] [54] [57]
22Viktor Kuncak [62]
23Tat-Wee Lee [18]
24Chenguang Luo [73]
25Mihai Lupu [50] [53]
26Huu Hai Nguyen [48] [51] [59] [60] [61] [62] [64] [66] [68]
27Adrian Nistor [70]
28Tuan-Hung Pham [63]
29Corneliu Popeea [44] [51] [56] [57] [58] [65] [66]
30Shengchao Qin [37] [38] [43] [46] [48] [51] [52] [59] [60] [61] [64] [66] [67] [72] [73] [74]
31Zongyan Qiu [52]
32Martin C. Rinard [43] [48] [55]
33Alexandru Stefan [69]
34Akihiko Takano [17]
35Masato Takeichi [16] [20] [22] [24]
36Gary S. H. Tan [3] [7]
37Tiow-Seng Tan [70]
38Nicolae Tapus [70]
39Peter Thiemann [13] [41]
40Viet-Anh Vu Tran [46]
41Anh-Hoang Truong [63]
42Ninh-Thuan Truong [63]
43Hui Wu [14] [30]
44Dana N. Xu [23] [26] [28] [33] [34] [36] [65]
45Yongxin Zhu [49]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)