| 2009 |
|---|
| 54 | EE | Bolin Ding,
David Lo,
Jiawei Han,
Siau-Cheng Khoo:
Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database.
ICDE 2009: 1024-1035 |
| 53 | EE | Kung Chen,
Jia-Yin Lin,
Shu-Chun Weng,
Siau-Cheng Khoo:
Designing aspects for side-effect localization.
PEPM 2009: 189-198 |
| 2008 |
|---|
| 52 | EE | David Lo,
Siau-Cheng Khoo,
Chao Liu:
Efficient Mining of Recurrent Rules from a Sequence Database.
DASFAA 2008: 67-83 |
| 51 | EE | Ping Zhu,
Siau-Cheng Khoo:
Specialization for applications using shared libraries.
PEPM 2008: 159-168 |
| 50 | EE | David Lo,
Siau-Cheng Khoo,
Jinyan Li:
Mining and Ranking Generators of Sequential Patterns.
SDM 2008: 553-564 |
| 49 | EE | David Lo,
Siau-Cheng Khoo,
Chao Liu:
Mining past-time temporal rules from execution traces.
WODA 2008: 50-56 |
| 48 | EE | David Lo,
Siau-Cheng Khoo,
Chao Liu:
Mining temporal rules for software maintenance.
Journal of Software Maintenance 20(4): 227-247 (2008) |
| 47 | EE | David Lo,
Siau-Cheng Khoo:
Mining patterns and rules for software specification discovery.
PVLDB 1(2): 1609-1616 (2008) |
| 2007 |
|---|
| 46 | EE | David Lo,
Shahar Maoz,
Siau-Cheng Khoo:
Mining modal scenario-based specifications from execution traces of reactive systems.
ASE 2007: 465-468 |
| 45 | EE | David Lo,
Siau-Cheng Khoo,
Chao Liu:
Efficient mining of iterative patterns for software specification discovery.
KDD 2007: 460-469 |
| 44 | EE | David Lo,
Shahar Maoz,
Siau-Cheng Khoo:
Mining modal scenarios from execution traces.
OOPSLA Companion 2007: 777-778 |
| 43 | EE | Ping Zhu,
Siau-Cheng Khoo:
Towards constructing reusable specialization components.
PEPM 2007: 154-163 |
| 42 | EE | Kung 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 |
| 41 | EE | Hugh Anderson,
Siau-Cheng Khoo,
Yijie Liu:
A Tool for Calculating Exponential Run-Time Properties.
SYNASC 2007: 25-32 |
| 2006 |
|---|
| 40 | EE | Wei-Ngan Chin,
Florin Craciun,
Siau-Cheng Khoo,
Corneliu Popeea:
A flow-based approach for variant parametric types.
OOPSLA 2006: 273-290 |
| 39 | EE | Beatrice Luca,
Stefan Andrei,
Hugh Anderson,
Siau-Cheng Khoo:
Program transformation by solving recurrences.
PEPM 2006: 121-129 |
| 38 | EE | Meng Wang,
Kung Chen,
Siau-Cheng Khoo:
Type-directed weaving of aspects for higher-order functional languages.
PEPM 2006: 78-87 |
| 37 | EE | David Lo,
Siau-Cheng Khoo:
SMArTIC: towards building an accurate, robust and scalable specification miner.
SIGSOFT FSE 2006: 265-275 |
| 36 | EE | David Lo,
Siau-Cheng Khoo:
QUARK: Empirical Assessment of Automaton-based Specification Miners.
WCRE 2006: 51-60 |
| 35 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Neil Jones:
Redundant Call Elimination via Tupling.
Fundam. Inform. 69(1-2): 1-37 (2006) |
| 2005 |
|---|
| 34 | EE | Hugh Anderson,
Siau-Cheng Khoo,
Stefan Andrei,
Beatrice Luca:
Calculating Polynomial Runtime Properties.
APLAS 2005: 230-246 |
| 33 | 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 |
| 2004 |
|---|
| 32 | EE | Dana N. Xu,
Siau-Cheng Khoo,
Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector.
APLAS 2004: 197-212 |
| 31 | EE | Wee 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 |
| 30 | EE | Wee Kheng Leow,
Siau-Cheng Khoo,
Yi Sun:
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.
ICSE 2004: 96-105 |
| 29 | EE | Siau-Cheng Khoo,
Kun Shi:
Program Adaptation via Output-Constraint Specialization.
Higher-Order and Symbolic Computation 17(1-2): 93-128 (2004) |
| 2003 |
|---|
| 28 | EE | Hugh Anderson,
Siau-Cheng Khoo:
Affine-Based Size-Change Termination.
APLAS 2003: 122-140 |
| 27 | EE | Wei-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 |
| 24 | EE | Siau-Cheng Khoo,
Kun Shi:
Output-constraint specialization.
ASIA-PEPM 2002: 106-116 |
| 23 | EE | Dana N. Xu,
Siau-Cheng Khoo:
Compiling real time functional reactive programming.
ASIA-PEPM 2002: 83-93 |
| 22 | EE | Saswat 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 |
| 18 | EE | Wei-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 |
| 15 | EE | Wei-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 |
|---|
| 12 | EE | Wei-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 |
|---|
| 9 | | Wei-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 |
| 6 | EE | Charles 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 |
| 1 | | Charles Consel,
Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler.
PLILP 1991: 135-146 |
