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

Siau-Cheng Khoo 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
57EEBolin Ding, David Lo, Jiawei Han, Siau-Cheng Khoo: Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. ICDE 2009: 1024-1035
56EEDavid Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun: Classification of software behaviors for failure detection: a discriminative pattern mining approach. KDD 2009: 557-566
55EEKung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo: Designing aspects for side-effect localization. PEPM 2009: 189-198
54EEHugh Anderson, Siau-Cheng Khoo: Improving Responsiveness of Hard Real-Time Embedded Systems. TASE 2009: 13-20
53EEDavid Lo, Siau-Cheng Khoo, Limsoon Wong: Non-redundant sequential rules - Theory and algorithm. Inf. Syst. 34(4-5): 438-453 (2009)
2008
52EEDavid Lo, Siau-Cheng Khoo, Chao Liu: Efficient Mining of Recurrent Rules from a Sequence Database. DASFAA 2008: 67-83
51EEPing Zhu, Siau-Cheng Khoo: Specialization for applications using shared libraries. PEPM 2008: 159-168
50EEDavid Lo, Siau-Cheng Khoo, Jinyan Li: Mining and Ranking Generators of Sequential Patterns. SDM 2008: 553-564
49EEDavid Lo, Siau-Cheng Khoo, Chao Liu: Mining past-time temporal rules from execution traces. WODA 2008: 50-56
48EEDavid Lo, Siau-Cheng Khoo, Chao Liu: Mining temporal rules for software maintenance. Journal of Software Maintenance 20(4): 227-247 (2008)
47EEDavid Lo, Siau-Cheng Khoo: Mining patterns and rules for software specification discovery. PVLDB 1(2): 1609-1616 (2008)
2007
46EEDavid Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenario-based specifications from execution traces of reactive systems. ASE 2007: 465-468
45EEDavid Lo, Siau-Cheng Khoo, Chao Liu: Efficient mining of iterative patterns for software specification discovery. KDD 2007: 460-469
44EEDavid Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenarios from execution traces. OOPSLA Companion 2007: 777-778
43EEPing Zhu, Siau-Cheng Khoo: Towards constructing reusable specialization components. PEPM 2007: 154-163
42EEKung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen: A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. SAS 2007: 34-51
41EEHugh Anderson, Siau-Cheng Khoo, Yijie Liu: A Tool for Calculating Exponential Run-Time Properties. SYNASC 2007: 25-32
2006
40EEWei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
39EEBeatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129
38EEMeng Wang, Kung Chen, Siau-Cheng Khoo: Type-directed weaving of aspects for higher-order functional languages. PEPM 2006: 78-87
37EEDavid Lo, Siau-Cheng Khoo: SMArTIC: towards building an accurate, robust and scalable specification miner. SIGSOFT FSE 2006: 265-275
36EEDavid Lo, Siau-Cheng Khoo: QUARK: Empirical Assessment of Automaton-based Specification Miners. WCRE 2006: 51-60
35EEWei-Ngan Chin, Siau-Cheng Khoo, Neil Jones: Redundant Call Elimination via Tupling. Fundam. Inform. 69(1-2): 1-37 (2006)
2005
34EEHugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246
33EEWei-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
2004
32EEDana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu: PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212
31EEWee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra: Heuristic Search with Reachability Tests for Automated Generation of Test Programs. ASE 2004: 282-285
30EEWee Kheng Leow, Siau-Cheng Khoo, Yi Sun: Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. ICSE 2004: 96-105
29EESiau-Cheng Khoo, Kun Shi: Program Adaptation via Output-Constraint Specialization. Higher-Order and Symbolic Computation 17(1-2): 93-128 (2004)
2003
28EEHugh Anderson, Siau-Cheng Khoo: Affine-Based Size-Change Termination. APLAS 2003: 122-140
27EEWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending sized type with collection analysis. PEPM 2003: 75-84
2002
26 Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
25 Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending Sized Type with Collection Analysis. APLAS 2002: 396-413
24EESiau-Cheng Khoo, Kun Shi: Output-constraint specialization. ASIA-PEPM 2002: 106-116
23EEDana N. Xu, Siau-Cheng Khoo: Compiling real time functional reactive programming. ASIA-PEPM 2002: 83-93
22EESaswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91-
2001
21 Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131
20 Saswat Anand, Siau-Cheng Khoo: Efficient Interpretation of Chart Pattern Language. APLAS 2001: 39-48
19 Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: Charting Patterns on Price History. ICFP 2001: 134-145
18EEWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-conditions for Array Bound Check Elimination. PADO 2001: 2-24
17 Wei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001)
2000
16 Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21
15EEWei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. PEPM 2000: 62-72
14 Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1999
13 Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo: Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130
1998
12EEWei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee: Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89
1996
11 Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
10 Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Program Specializations. Journal of Functional and Logic Programming 1996(4): (1996)
1995
9EEWei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Deforestation (Extended Abstract) PLILP 1995: 223-240
8 Charles Consel, Siau-Cheng Khoo: On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. J. Funct. Program. 5(4): 461-500 (1995)
1993
7 Wei-Ngan Chin, Siau-Cheng Khoo: Tupling Functions with Multiple Recursion Parameters. WSA 1993: 124-140
6EECharles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993)
5 Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21(3): 263-291 (1993)
1991
4 Charles Consel, Siau-Cheng Khoo: Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81
3 Siau-Cheng Khoo, R. S. Sundaresh: Compiling Inheritance using Partial Evaluation. PEPM 1991: 211-222
2 Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. PLDI 1991: 92-106
1EECharles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. PLILP 1991: 135-146

Coauthor Index

1Saswat Anand [19] [20] [22]
2Hugh Anderson [28] [34] [39] [41] [54]
3Stefan Andrei [34] [39]
4Chung-Hsin Chen [42]
5Kung Chen [38] [42] [55]
6Hong Cheng [56]
7Wei-Ngan Chin [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [25] [26] [27] [33] [35] [40]
8Charles Consel [1] [2] [4] [5] [6] [8]
9Florin Craciun [40]
10Bolin Ding [57]
11Aik-Hui Goh [13]
12Jiawei Han [56] [57]
13Zhenjiang Hu [14] [26] [32]
14Neil Jones [35]
15Tat-Wee Lee [12]
16Wee Kheng Leow [30] [31]
17Jinyan Li [50]
18Jia-Yin Lin [55]
19Chao Liu [45] [48] [49] [52]
20Yijie Liu [41]
21David Lo [36] [37] [44] [45] [46] [47] [48] [49] [50] [52] [53] [56] [57]
22Tiong Hoe Loh [31]
23Beatrice Luca [34] [39]
24Shahar Maoz [44] [46]
25Huu Hai Nguyen [33]
26Corneliu Popeea [33] [40]
27Shengchao Qin [33]
28Kun Shi [24] [29]
29Vivy Suhendra [31]
30Chengnian Sun [56]
31Yi Sun [30]
32R. S. Sundaresh [3]
33Masato Takeichi [14]
34Peter Thiemann [11]
35Meng Wang [38] [42]
36Shu-Chun Weng [42] [55]
37Limsoon Wong [53]
38Dana N. Xu [16] [18] [21] [23] [25] [26] [27] [32]
39Ping Zhu [43] [51]

Colors in the list of coauthors

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