Search the dblp DataBase
Siau-Cheng Khoo :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Saswat Anand , Siau-Cheng Khoo Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:39-48 [Conf ] Hugh Anderson , Siau-Cheng Khoo Affine-Based Size-Change Termination. [Citation Graph (0, 0)][DBLP ] APLAS, 2003, pp:122-140 [Conf ] Hugh Anderson , Siau-Cheng Khoo , Stefan Andrei , Beatrice Luca Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP ] APLAS, 2005, pp:230-246 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Deriving Pre-Conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP ] APLAS, 2000, pp:9-21 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Higher-Order Polymorphic Sized Types for Safety Checks. [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:117-131 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Extending Sized Type with Collection Analysis. [Citation Graph (0, 0)][DBLP ] APLAS, 2002, pp:396-413 [Conf ] Dana N. Xu , Siau-Cheng Khoo , Wei-Ngan Chin , Zhenjiang Hu A Type-Based Approach to Parallelization (preliminary report). [Citation Graph (0, 0)][DBLP ] APLAS, 2002, pp:175-192 [Conf ] Dana N. Xu , Siau-Cheng Khoo , Zhenjiang Hu PType System: A Featherweight Parallelizability Detector. [Citation Graph (0, 0)][DBLP ] APLAS, 2004, pp:197-212 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Peter Thiemann Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:33-53 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Tat-Wee Lee Synchronisation Analysis to Stop Tulping. [Citation Graph (0, 0)][DBLP ] ESOP, 1998, pp:75-89 [Conf ] Saswat Anand , Wei-Ngan Chin , Siau-Cheng Khoo Charting Patterns on Price History. [Citation Graph (0, 0)][DBLP ] ICFP, 2001, pp:134-145 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Shengchao Qin , Corneliu Popeea , Huu Hai Nguyen Verifying safety policies with size properties and alias controls. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:186-195 [Conf ] Wee Kheng Leow , Siau-Cheng Khoo , Yi Sun Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. [Citation Graph (0, 0)][DBLP ] ICSE, 2004, pp:96-105 [Conf ] Saswat Anand , Wei-Ngan Chin , Siau-Cheng Khoo A Lazy Divide and Conquer Approach to Constraint Solving. [Citation Graph (0, 0)][DBLP ] ICTAI, 2002, pp:91-0 [Conf ] Wee Kheng Leow , Siau-Cheng Khoo , Tiong Hoe Loh , Vivy Suhendra Heuristic Search with Reachability Tests for Automated Generation of Test Programs. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:282-285 [Conf ] Wei-Ngan Chin , Florin Craciun , Siau-Cheng Khoo , Corneliu Popeea A flow-based approach for variant parametric types. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2006, pp:273-290 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Deriving Pre-conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP ] PADO, 2001, pp:2-24 [Conf ] Wei-Ngan Chin , Aik-Hui Goh , Siau-Cheng Khoo Effective Optimization of Multiple Traversals in Lazy Languages. [Citation Graph (0, 0)][DBLP ] PEPM, 1999, pp:119-130 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo Calculating Sized Types. [Citation Graph (0, 0)][DBLP ] PEPM, 2000, pp:62-72 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Dana N. Xu Extending sized type with collection analysis. [Citation Graph (0, 0)][DBLP ] PEPM, 2003, pp:75-84 [Conf ] Siau-Cheng Khoo , Kun Shi Output-constraint specialization. [Citation Graph (0, 0)][DBLP ] ASIA-PEPM, 2002, pp:106-116 [Conf ] Siau-Cheng Khoo , R. S. Sundaresh Compiling Inheritance using Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PEPM, 1991, pp:211-222 [Conf ] Beatrice Luca , Stefan Andrei , Hugh Anderson , Siau-Cheng Khoo Program transformation by solving recurrences. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:121-129 [Conf ] Meng Wang , Kung Chen , Siau-Cheng Khoo Type-directed weaving of aspects for higher-order functional languages. [Citation Graph (0, 0)][DBLP ] PEPM, 2006, pp:78-87 [Conf ] Dana N. Xu , Siau-Cheng Khoo Compiling real time functional reactive programming. [Citation Graph (0, 0)][DBLP ] ASIA-PEPM, 2002, pp:83-93 [Conf ] Ping Zhu , Siau-Cheng Khoo Towards constructing reusable specialization components. [Citation Graph (0, 0)][DBLP ] PEPM, 2007, pp:154-163 [Conf ] Charles Consel , Siau-Cheng Khoo Parameterized Partial Evaluation. [Citation Graph (0, 0)][DBLP ] PLDI, 1991, pp:92-106 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo Better Consumers for Deforestation (Extended Abstract) [Citation Graph (0, 0)][DBLP ] PLILP, 1995, pp:223-240 [Conf ] Charles Consel , Siau-Cheng Khoo Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:135-146 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo Tupling Functions with Multiple Recursion Parameters. [Citation Graph (0, 0)][DBLP ] WSA, 1993, pp:124-140 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Zhenjiang Hu , Masato Takeichi Deriving Parallel Codes via Invariants. [Citation Graph (0, 0)][DBLP ] SAS, 2000, pp:75-94 [Conf ] Charles Consel , Siau-Cheng Khoo Evaluation partielle paramétrable. [Citation Graph (0, 0)][DBLP ] JTASPEFT/WSA, 1991, pp:72-81 [Conf ] David Lo , Siau-Cheng Khoo SMArTIC: towards building an accurate, robust and scalable specification miner. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2006, pp:265-275 [Conf ] David Lo , Siau-Cheng Khoo QUARK: Empirical Assessment of Automaton-based Specification Miners. [Citation Graph (0, 0)][DBLP ] WCRE, 2006, pp:51-60 [Conf ] Wei-Ngan Chin , Siau-Cheng Khoo , Neil Jones Redundant Call Elimination via Tupling. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:69, n:1-2, pp:1-37 [Journal ] Wei-Ngan Chin , Siau-Cheng Khoo Better Consumers for Program Specializations. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1996, v:1996, n:4, pp:- [Journal ] Charles Consel , Siau-Cheng Khoo On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1995, v:5, n:4, pp:461-500 [Journal ] Wei-Ngan Chin , Siau-Cheng Khoo Calculating Sized Types. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:261-300 [Journal ] Siau-Cheng Khoo , Kun Shi Program Adaptation via Output-Constraint Specialization. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:93-128 [Journal ] Charles Consel , Siau-Cheng Khoo Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:21, n:3, pp:263-291 [Journal ] Charles Consel , Siau-Cheng Khoo Parameterized Partial Evaluation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1993, v:15, n:3, pp:463-493 [Journal ] David Lo , Siau-Cheng Khoo , Chao Liu Efficient mining of iterative patterns for software specification discovery. [Citation Graph (0, 0)][DBLP ] KDD, 2007, pp:460-469 [Conf ] David Lo , Shahar Maoz , Siau-Cheng Khoo Mining modal scenarios from execution traces. [Citation Graph (0, 0)][DBLP ] OOPSLA Companion, 2007, pp:777-778 [Conf ] Kung Chen , Shu-Chun Weng , Meng Wang , Siau-Cheng Khoo , Chung-Hsin Chen A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. [Citation Graph (0, 0)][DBLP ] SAS, 2007, pp:34-51 [Conf ] Efficient Mining of Recurrent Rules from a Sequence Database. [Citation Graph (, )][DBLP ] Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. [Citation Graph (, )][DBLP ] A discriminative model approach for accurate duplicate bug report retrieval. [Citation Graph (, )][DBLP ] LM: a miner for scenario-based specifications. [Citation Graph (, )][DBLP ] Mining past-time temporal rules from execution traces. [Citation Graph (, )][DBLP ] Mining modal scenario-based specifications from execution traces of reactive systems. [Citation Graph (, )][DBLP ] Classification of software behaviors for failure detection: a discriminative pattern mining approach. [Citation Graph (, )][DBLP ] Specialization for applications using shared libraries. [Citation Graph (, )][DBLP ] Designing aspects for side-effect localization. [Citation Graph (, )][DBLP ] Regular approximation and bounded domains for size-change termination. [Citation Graph (, )][DBLP ] Mining and Ranking Generators of Sequential Patterns. [Citation Graph (, )][DBLP ] A Tool for Calculating Exponential Run-Time Properties. [Citation Graph (, )][DBLP ] Improving Responsiveness of Hard Real-Time Embedded Systems. [Citation Graph (, )][DBLP ] Search in 0.010secs, Finished in 0.013secs