The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Siau-Cheng Khoo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Saswat Anand, Siau-Cheng Khoo
    Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:39-48 [Conf]
  2. Hugh Anderson, Siau-Cheng Khoo
    Affine-Based Size-Change Termination. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:122-140 [Conf]
  3. Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
    Calculating Polynomial Runtime Properties. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:230-246 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    Charting Patterns on Price History. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:134-145 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Wei-Ngan Chin, Siau-Cheng Khoo
    Calculating Sized Types. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:62-72 [Conf]
  20. 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]
  21. Siau-Cheng Khoo, Kun Shi
    Output-constraint specialization. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:106-116 [Conf]
  22. Siau-Cheng Khoo, R. S. Sundaresh
    Compiling Inheritance using Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:211-222 [Conf]
  23. 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]
  24. 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]
  25. Dana N. Xu, Siau-Cheng Khoo
    Compiling real time functional reactive programming. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:83-93 [Conf]
  26. Ping Zhu, Siau-Cheng Khoo
    Towards constructing reusable specialization components. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:154-163 [Conf]
  27. Charles Consel, Siau-Cheng Khoo
    Parameterized Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:92-106 [Conf]
  28. Wei-Ngan Chin, Siau-Cheng Khoo
    Better Consumers for Deforestation (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:223-240 [Conf]
  29. Charles Consel, Siau-Cheng Khoo
    Semantics-Directed Generation of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:135-146 [Conf]
  30. Wei-Ngan Chin, Siau-Cheng Khoo
    Tupling Functions with Multiple Recursion Parameters. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:124-140 [Conf]
  31. 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]
  32. Charles Consel, Siau-Cheng Khoo
    Evaluation partielle paramétrable. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:72-81 [Conf]
  33. 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]
  34. David Lo, Siau-Cheng Khoo
    QUARK: Empirical Assessment of Automaton-based Specification Miners. [Citation Graph (0, 0)][DBLP]
    WCRE, 2006, pp:51-60 [Conf]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]

  45. Efficient Mining of Recurrent Rules from a Sequence Database. [Citation Graph (, )][DBLP]


  46. Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. [Citation Graph (, )][DBLP]


  47. A discriminative model approach for accurate duplicate bug report retrieval. [Citation Graph (, )][DBLP]


  48. LM: a miner for scenario-based specifications. [Citation Graph (, )][DBLP]


  49. Mining past-time temporal rules from execution traces. [Citation Graph (, )][DBLP]


  50. Mining modal scenario-based specifications from execution traces of reactive systems. [Citation Graph (, )][DBLP]


  51. Classification of software behaviors for failure detection: a discriminative pattern mining approach. [Citation Graph (, )][DBLP]


  52. Specialization for applications using shared libraries. [Citation Graph (, )][DBLP]


  53. Designing aspects for side-effect localization. [Citation Graph (, )][DBLP]


  54. Regular approximation and bounded domains for size-change termination. [Citation Graph (, )][DBLP]


  55. Mining and Ranking Generators of Sequential Patterns. [Citation Graph (, )][DBLP]


  56. A Tool for Calculating Exponential Run-Time Properties. [Citation Graph (, )][DBLP]


  57. Improving Responsiveness of Hard Real-Time Embedded Systems. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002