Research website
- www.comp.nus.edu.sg/~specmine
For detail, please click here .
My Publications
-
S. Kumar, S-C. Khoo, A. Roychoudhury and D. Lo.
Mining message sequence graphs.
Proceedings of the 33rd International Conference on Software Engineering (ICSE11).
Waikiki, Honolulu , HI, USA, May 21-28, 2011.
-
D. Lo, J. Li, L. Wong and S-C. Khoo.
Mining Iterative Generators and Representative Rules for Software Specification Discovery.
IEEE Transactions on Knowledge and Data Engineering , Volume 23 (2), 282-296, 2011.
-
C. Sun, D. Lo, X. Wang, J. Jiang and S-C. Khoo.
A discriminative model approach for accurate duplicate bug report retrieval.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010
Cape Town, South Africa, 1-8 May 2010.
-
T-A. Doan, D. Lo, S. Maoz and S-C. Khoo.
LM: a miner for scenario-based specifications.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010
Cape Town, South Africa, 1-8 May 2010.
-
N H Anderson and S-C. Khoo.
Regular approximation and bounded domains for size-change termination.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM10).
Madrid, Spain, January 18-19, 2010.
-
K. Chen, S-C. Weng, M. Wang, S-C. Khoo and C-H. Chen.
Type-directed weaving of aspects for polymorphically typed functional languages.
Science of Computer Programming , Volume 75 (11): 1048-1076, 2010.
-
B. Ding, D. Lo, J. Han and S-C. Khoo.
Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database.
Proceedings of the 25th International Conference on Data Engineering (ICDE09).
March 29 2009 - April 2 2009, Shanghai, China.
-
D. Lo, H. Cheng, J. Han, S-C. Khoo and C. Sun.
Classification of software behaviors for failure detection: a discriminative pattern mining approach.
Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'09).
Paris, France, June 28 - July 1, 2009.
-
K. Chen, J-Y. Lin, S-C. Weng and S-C. Khoo.
Designing aspects for side-effect localization.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM'09)
Savannah, GA, USA, January 19-20, 2009.
-
N H Anderson and S-C. Khoo.
Improving Responsiveness of Hard Real-Time Embedded Systems.
Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09).
29-31 July 2009, Tianjin, China.
-
D. Lo, S-C. Khoo and L. Wong.
Non-redundant sequential rules - Theory and algorithm.
Information Systems, Volume 34 (4-5): 438-453, 2009.
-
D. Lo, S-C. Khoo and J. Li. Mining and
Ranking Generators of Sequential Patterns.
In proceedings of the 8th SIAM International Conference on Data Mining (SDM'08). Atlanta, Georgia. April 24-26, 2008.
-
D. Lo, S-C. Khoo and C. Liu. Mining past-time temporal rules from execution traces.
In proceedings of the 2008 International Workshop on Dynamic Analysis (WODA'08).
Seattle, Washington, USA, July 21, 2008.
-
D. Lo, S-C. Khoo and C. Liu. Mining temporal rules for software maintenance.
Journal of Software Maintenance 20(4): 227-247 (2008).
-
D. Lo, S-C. Khoo and C. Liu.
Efficient Mining of Recurrent Rules from a Sequence Database.
In proceedings of the 13rd International Conference on
Database Systems for Advance Applications (DASFAA'08).
New Delhi, India. March 19-21, 2008.
-
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.
-
D. Lo and S-C. Khoo. Mining patterns and rules for software specification discovery.
Proceedings of the VLDB Endowment, Vol 1 (2): 1609-1616, 2008.
-
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.
-
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.
-
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.
-
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.
-
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- W N Chin, F Craciun, S C Khoo, C Popeea. A Flow-based Approach for
Variant Parametric Types, OOPSLA 2006: 273-290.
- 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]
- 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.
-
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.
- 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]
- 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.
- 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.
- 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.
- 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.
- 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.
- D N Xu, S C Khoo, Z Hu. PType System: A Featherweight
Parallelizability Detector. In APLAS 2004., p. 197 - 212.
- 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.
- 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]
- 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
- 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.
- 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.)
- 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.
- 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.
- Chin, W N, and S C Khoo, Calculating Sized Types.
Higher-Order and Symbolic Computing (HOSC); Vol. 14, Nos 2/3, 2001.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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).
- 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).
- 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.
- Chin, W N and S C Khoo, Better consumers for program specialisations.
Journal of Functional and Logic Programming, no. 4 (1996): 1-30.
- 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).
- 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.
- 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.
- C. Consel and S.C. Khoo, Semantics-directed generation of a Prolog
Compiler. Science of Computer Programming, vol.21 (1993): 263 - 291.
(The Netherlands).
- 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).
- S.C. Khoo, Parameterised Partial Evaluation - Principle and Practice.
PhD Dissertation, Yale University, 1992.
- 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.
- 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.
- 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.
- S.C. Khoo, Modeling and Implementation of Visual Languages. MSc
Thesis, NUS, Singapore, 1989.
- 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.