Khoo Siau Cheng

Associate Professor

Department of Computer Science

School of Computing

National University of Singapore


PhD (Computer Science), Yale University, 1992

Area of Research

Specification Mining, Code Analytics, Static and Dynamic Program Analysis, Program Transformation, Functional Programming, Domain-Specific Languages, Aspect-Oriented Programming.

Recent Research Grants

vSCA: Scalable Code Analysis via Vector Abstraction and Concretization.” Funded by AcRF – Tier 1, Sep 2014 – Aug 2017, $130,000

 “Bug Signature Discovery.” Funded by AcRF – Tier 1, April 2012 through Mar 2015, $65,096.

“Malware Detection via Mining.” Funded by AcRF – Tier 1, Nov 2009 through April 2013. S$77,444.

“Software Dependability through Specification Mining.” Funded by the Defence Science and Technology Agency, May 2007 through Oct 2011. S$347,000

“Principles and Practice of Aspect-Oriented Functional Languages.” Funded by National University of Singapore, Jan 2006 through Jan 2008. S$61,000.

“A Language-based Approach to Financial Analysis.” Funded by National University of Singapore. Dec 2002 – Nov 2006. S$310,000.

Research Supervision

M.Sc. (graduated):

Lu Weiguo, Lee Tat Wee, Goh Aik Hui, Shi Kun, Saswat Anand, Xu Na.

PhD (graduated):

Narcisa Andreea Milea, Zuo Zhiqiang, Sun Chengnian, Sandeep Kumar, Hugh Anderson, David Lo, Zhu Ping.

PhD (in progress):

Ta Quang Trung.

Recent Professional Services

Program Committee Member, 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, 27 – 28 April, 2016.

Program Co-chair, ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM’11). Jan 24 – 25, 2011. Texas, USA.

Program Committee Member, ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM’09). Jan 19 – 20, 2009. Georgia, USA.

Selected Recent Publications

(Please refer to DBLP for more information.)

Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo: Vector abstraction and concretization for scalable detection of refactorings. FSE 2014: 86-97

Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo: Scalable detection of missed cross-function refactorings. ISSTA 2014: 138-148

Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun: Efficient predicated bug signature mining via hierarchical instrumentation. ISSTA 2014: 215-224

Chengnian Sun, Siau-Cheng Khoo: Mining succinct predicated bug signatures. ESEC/SIGSOFT FSE 2013: 576-586

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Inferring class level specifications for distributed systems. ICSE 2012: 914-924

Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo: Semantic patch inference. ASE 2012: 382-385

Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang. Towards more accurate retrieval of duplicate bug reports. Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, 2011, pp 253-262.

Chengnian Sun, David Lo, Xiaoyin Wang, Jing Jiang, Siau-Cheng Khoo: A discriminative model approach for accurate duplicate bug report retrieval. ICSE (1) 2010: 45-54

Hugh Anderson, Siau-Cheng Khoo: Regular approximation and bounded domains for size-change termination. PEPM 2010: 53-62

Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen: Type-directed weaving of aspects for polymorphically typed functional languages. Science of Computer Programming 75(11): 1048-1076 (2010).

David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun: Classification of software behaviors for failure detection: a discriminative pattern mining approach. KDD 2009: 557-566.

David Lo, Siau-Cheng Khoo, Chao Liu. Efficient mining of iterative patterns for software specification discovery. Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining 2008, pp 460-469.

David Lo, Siau-Cheng Khoo. QUARK: Empirical Assessment of Automaton-based Specification Miners. 13th Working Conference on Reverse Engineering (WCRE’06), Benevento, Italy, Oct 23-27, 2006

David Lo, Siau-Cheng 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.

Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen. Verifying safety policies with size properties and alias controls. Proceedings of the 27th international conference on Software engineering, 2005, pp 186-195.

Wei-Ngan Chin and Siau-Cheng Khoo. Calculating sized types. Higher-Order and Symbolic Computation 14 (2-3), pp 261-300.

Saswat Anand, Wei-Ngan Chin and Siau-Cheng Khoo. Charting Patterns on Price History. In ACM SIGPLAN International Conference on Functional Programming, 2001 (ICFP01); Florence, Italy; 3-5 September 2001. pages 134-145.

Charles Consel and Siau-Cheng Khoo. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems, 15(3), July 1993.

Selected Administrative Services

Member, Computer Science Department Faculty Search Committee, August 2014 – Present.

Co-director, Master of Science (Business Analytics) Programme, NUS Business Analytics Centre, August 2014 – Present.

Vice Dean (Undergraduate Studies), School of Computing: August 2005 – July 2011.

Member, Search Committee for Head of Department of Information Systems, August 2007 – July 2008.

Member, University Committee on Education Policy, 2004 – 2005.

Curriculum Coordinator, Department of Computer Science: 2000 – 2005.

(Updated: February 2016)