Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

My Publications

  1. B Luca, S Andrei, H Anderson, S C Khoo. Program Transformation by Solving Recurrences. To be Presented in PEPM 2006, Charleston, USA, Jan 2005.

  2. M Wang, K Chen, S C Khoo. Type-Directed Weaving of Aspects for Higher-order Functional Languages. To be presented in PEPM 2006, Charleston, USA, Jan 2005.

  3. H Anderson, S C Khoo, S Andrei and L Beatrice. Calculating Polynomial Runtime Properties. In APLAS 2005, Tsukuba, 2005.

  4. 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.

  5. 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, 2005, pg 1-31. [PDF format]

  6. 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.

  7. 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.

  8. 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.

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

  10. 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.

  11. 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]

  12. 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

  13. 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.

  14. 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.)

  15. 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.

  16. 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.

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

  18. 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.

  19. 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.

  20. 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.

  21. 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.

  22. 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).

  23. 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).

  24. 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).

  25. 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.

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

  27. 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).

  28. 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.

  29. 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.

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

  31. 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).

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

  33. 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.

  34. 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.

  35. 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.

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

  37. 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.