My Publications

  1. D. Lo, S-C. Khoo and J. Li. Mining and Ranking Generators of Sequential Patterns. To appear in proceedings of the 8th SIAM International Conference on Data Mining (SDM'08). Atlanta, Georgia. April 24-26, 2008.

  2. D. Lo, S-C. Khoo and C. Liu. Efficient Mining of Recurrent Rules from a Sequence Database. To appear in proceedings of the 13rd International Conference on Database Systems for Advance Applications (DASFAA'08). New Delhi, India. March 19-21, 2008.

  3. P. Zhu and S-C. Khoo. Specialization for Applications Using Shared Libraries. ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation. San Francisco, USA. January 7-8, 2008.

  4. D. Lo, S. Maoz and S-C. Khoo. Mining Modal Scenario-based Specifications from Execution Traces of Reactive Systems. In proceedings of the 22nd IEEE/SIGSOFT International Conference on Automated Software Engineering (ASE'07). Atlanta, Georgia. Nov 5-9, 2007.

  5. D. Lo, S-C. Khoo and C.Liu. Mining Temporal Rules from Program Execution Traces. In proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA'07). Vancouver, Canada. Oct 29, 2007.

  6. D. Lo, S. Maoz and S-C. Khoo. Mining Modal Scenarios from Execution Traces. In Companion to the 22nd SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'07). Montreal, Canada. Oct 21-25, 2007.

  7. D. Lo and S-C. Khoo. Software Specification Discovery: A New Data Mining Approach. In proceedings of the NSF Symposium on Next Generation Data Mining and Cyber-Enabled Discovery for Innovation (NGDM'07). Baltimore, Maryland. Oct 10-12, 2007.

  8. N H Anderson, S C Khoo and Y Liu. A Tool for Calculating Exponential Run-time Properties. SYNASC '07: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara, Romania, 2007. Pp 25 - 32. Published by IEEE Computer Society.

  9. D. Lo, S C. Khoo and C. Liu. Efficient Mining of Iterative Patterns for Software Specification Discovery. 13th SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'07). San Jose, California. Aug 12-15, 2007. Pp 460 - 469.

  10. K. Chen, S-C. Weng, M. Wang, S C Khoo, C-H Chen. A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. The 14th International Static Analysis Symposium, SAS 2007. Kongens Lyngby, Denmark, 22-24 August 2007. Pp 34-51.

  11. P Zhu, S C Khoo. Towards Constructing Reusable Specialization Components. ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07). Nice, France, Jan 2007. Pp 154 - 163.

  12. D Lo, S C Khoo. SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner. 14th SIGSOFT Symposium on Foundation of Software Engineering (FSE'06). Portland, Oregon, Nov 5-11, 2006.

  13. D Lo, S C Khoo. QUARK: Empirical Assessment of Automaton-based Specification Miners. 13th Working Conference on Reverse Engineering (WCRE'06), Benevento, Italy, Oct 23-27, 2006.

  14. P Zhu and S C Khoo. Request and Assert: A pragmatic approach to generating specialization scenarios. Technical Report TR11/06, National University of Singapore. November, 2006.

  15. W N Chin, F Craciun, S C Khoo, C Popeea. A Flow-based Approach for Variant Parametric Types, OOPSLA 2006: 273-290.

  16. B Luca, S Andrei, H Anderson, S C Khoo. Program Transformation by Solving Recurrences. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06): 121-129. Charleston, USA, Jan 2006.[PDF format]

  17. M Wang, K Chen, S C Khoo. Type-Directed Weaving of Aspects for Higher-order Functional Languages. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06): 78-87. , Charleston, USA, Jan 2006.

  18. P Zhu and S C Khoo. A Unified Framework for Partial Evaluation and Program Slicing. Technical Report TRB1/05. National University of Singapore. January 2006.

  19. W N Chin, S C Khoo, N Jones, Redundant Call Elimination via Tupling.Fundamenta Informaticae, Special Issue on Program Tranformation, Volume 69, Numbers 1-2, pg 1-31, 2006. [PDF format]

  20. H Anderson, S C Khoo, S Andrei and L Beatrice. Calculating Polynomial Runtime Properties. In APLAS 2005, Tsukuba, 2005, LNCS Vol. 3780, pg 230-246, 2005.

  21. W N Chin, S C Khoo, S Qin, H H Nguyen, Verifying Safety Policies with Size Properties and Alias Controls. In ICSE 2005, St Louis, May 2005.

  22. B, Luca and S C Khoo, A Comparison between MDPP and Kernel Regression Smoothing Techniques for Forecasting Time Series Data, Technical Report TRD1/05, National University of Singapore, February 2005.

  23. C J Yap, Bernard and S C Khoo, Technical Indicator Generation = Trend Classification + Genetic Algorithm, Technical Report TRC1/05, National University of Singapore, January 2005.

  24. P Zhu and S C Khoo, A Unified Framework for Partial Evaluation and Program Slicing, Technical Report TRB1/05, National University of Singapore, January 2005.

  25. D N Xu, S C Khoo, Z Hu. PType System: A Featherweight Parallelizability Detector. In APLAS 2004., p. 197 - 212.

  26. W. K. Leow, S. C. Khoo, and Y. Sun. Automated generation of test programs from closed specifications of classes and test cases. In Proc. Int. Conf. on Software Engineering, 2004, p. 96-105.

  27. S C Khoo and K Shi, Program Adaptation via Output Constraint Specialization. Journal of Higher-Order and Symbolic Computing (HOSC), 17 (1-2): pp 93-128, March - June, 2004, Kluwer Academic Publishers. [PDF format]

  28. W K Leow, S C Khoo, T H Loh and V Suhendra, Heuristic Search with Reachability Tests for Automated Generation of Test Programs. In Proc. IEEE Int. Conf. on Automated Software Engineering, 2004, p. 282 - 285.
    Extended version

  29. Anand, S, W N Chin and S C Khoo, A Lazy Divide & Conquer Approach to Constraint Solving. To appear in the proceedings of the 14th IEEE International Conference On Tools with Artificial Intelligence , ICTAI 2002; Washington DC, USA; 4-6 November 2002.

  30. S C Khoo and K Shi, Output Constraint Specialization. In the proceedings of ACM SIGPLAN ASIA Symposium on Partial Evaluation and Semantics-Based Program Manipulation; Aizu, Japan; 12-14 September 2002; page 106--116 (This version corrected an error found in the original paper submitted to the conference for publication.)

  31. Xu, D N and S C Khoo, Compiling Real Time Functional Reactive Programming. In the proceedings of ACM SIGPLAN ASIA Symposium on Partial Evaluation and Semantics-Based Program Manipulation; Aizu, Japan; 12-14 September 2002; page 83--93.

  32. Anand, S, W N Chin and S C Khoo, Charting Patterns on Price History. In the proceedings of International Conference on Functional Programming, 2001; Florence, Italy; 3-5 September 2001; page 134-145.

  33. Chin, W N, and S C Khoo, Calculating Sized Types. Higher-Order and Symbolic Computing (HOSC); Vol. 14, Nos 2/3, 2001.

  34. Chin, W N, S C Khoo and Dana N Xu, Deriving Pre-Conditions for Array Bound Check Elimination. In the proceedings of the Second Symposium on Programs as Data Objects, PADO 2001; Aarhus, Denmark, May 2001; page 2-24.

  35. Chin, W N, S C Khoo, Z. Hu and M Takeichi, Deriving Parallel Codes via Invariants. In the 7th International Symposium, SAS 2000, 29June-1 July, 2000, Santa Barbara, California, United States, LNCS 1824.

  36. Chin, W N, and S C Khoo, Calculating Sized Types. In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 21 January 2000, Boston, Massachusetts, United States, pp. 62-72, ACM Press, 2000.

  37. Chin, W N, Aik-Hui Goh and S C Khoo, Effective Optimisation of Multiple Traversals in Lazy Language. In 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 22 January 1999, San Antonio, Texas, United States, pp. 119-130. New York: ACM Press, 1999.

  38. Chin, W N, S C Khoo and T W Lee, Synchronisation analyses to stop tupling. In European Symposium on Programming, 2-4 April 1998, Portugal (Accepted for publication).

  39. Mei, Qing, W N Chin and S C Khoo, Explicit Parallelism Control Strategies in Concurrent Haskell. In 8th International Parallel Computing Workshop, edited by Yong-Meng Teo, Ming-Dong Feng, Tok-Wang Ling & Esther Loh, pp. 253-258. Singapore: National University of Singapore, 1998. (Paper presented at 8th International Parallel Computing Workshop (PCW '98), 8 July 1998, NUS, Singapore, Singapore). (Poster Presentation).

  40. Tan, E, L H Lim and S C Khoo, A conceptual framework on the evaluation of multimedia learning systems and a neural-network implementation. In Proceedings of the 4th Conference of the International Society for Decision Support Systems, pp. 99-114, 1997. (Paper presented at Conference of the International Society for Decision Support Systems, 21-22 July 1997, Lausanne, Switzerland).

  41. Chin, W N, S C Khoo and P Thiemann, Synchronization analyses for mltiple recursion parameters. 12-16 February 1996, Germany, LNCS 1110, Dagstuhl Seminar on Purtial Evaluation, edited by O Danvy, R Glueck, P Thiemann, compiled by Wilhem-Schickard-Institut (WSI-96-6), pp. 33-53. Tebingen: University of Tuebingen, 1996.

  42. Chin, W N and S C Khoo, Better consumers for program specialisations. Journal of Functional and Logic Programming, no. 4 (1996): 1-30.

  43. Chin, W N and S C Khoo, Better consumers for deforestation (Extend Abstract). In PLILP'95, edited by Manual Hermenegildo and S Doaitse Swierstra, pp. 223-241. LNCS, 982, edited by G.Goos, J. Hartmanis, J. Van Leeuwen. Springer, September 1995. (Paper presented at 7th International Symposicon, PLILP'95, 20-22 September 1995, Utrecht, The Netherlands).

  44. W.N. Chin and S.C. Khoo, Tupling Functions with Multiple Recursion Parameters. In Third International Workshop on Static Analysis, September 1993, Italy, LNCS 724, 124 - 140.

  45. C. Consel and S.C. Khoo, On-line and Off-line Partial Evaluation: Semantics Specifications and Correctness Proofs. Journal of Functional Programming, 5(4), pages 461-500, October 1995.

  46. C. Consel and S.C. Khoo, Semantics-directed generation of a Prolog Compiler. Science of Computer Programming, vol.21 (1993): 263 - 291. (The Netherlands).

  47. C. Consel and S.C. Khoo, Parameterized Partial Evaluation. ACM Transaction on Programming Language and Systems, 15, no. 3 (July 1993): 463 - 493. (United States).

  48. S.C. Khoo, Parameterised Partial Evaluation - Principle and Practice. PhD Dissertation, Yale University, 1992.

  49. C. Consel and S.C. Khoo, Semantics-directed Generation of a Prolog Compiler, In 3rd International Symposium, PLILP'91, August 1991, Germany, LNCS 528, 135 - 146.

  50. S.C. Khoo and R.S. Sundaresh, Compiling Inheritance Using Partial Evaluation. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, July 1991, United States, 211 - 222.

  51. C. Consel and S.C. Khoo, Parameterised Partial Evaluation. In ACM SIGPLAN'91 Conference on Programming Language Design and Implementation, June 1991, Canada, 92 - 106.

  52. S.C. Khoo, Modeling and Implementation of Visual Languages. MSc Thesis, NUS, Singapore, 1989.

  53. T.S. Chua and S.C. Khoo, Modelling and Simulation of Communication Protocols. In Proceedings of Seminar on Local Area Networks, June 1986, Singapore, 86 - 101.