New Site

 

Thank you for visiting this site!

I’ve joined School of Information System, Singapore Management University since May 2008

The materials in this website is outdated, please access my new site at http://www.mysmu.edu/faculty/davidlo

 

 

　

　

David Lo
Phd Candidate (Graduated Nov 2008)
National University of Singapore

[Biodata] [Contact] [Research Interest] [Awards] [Publications] [Research Experiences] [Teaching Experiences]
[Admin Duties] [Courses]

Biodata 

I'm a Final Year PhD Candidate working on Software Specification Mining: discovery of temporal properties of programs for their understanding, maintainability and bug discovery. My goal is to find the synergy between data mining techniques, programming language and software engineering to solve interesting tasks and how the domains can enrich one another. My supervisor is A/P Khoo Siau Cheng.

I graduated from Nanyang Technological University, from School of Computer Engineering with a B.Eng (Hons I) in June 2004. For my honors year project, I worked on `Library of Biological Sequence Matching and Gene Parsing Routines' under the supervision of A/P Amitabha Das.

Prior joining SoC, I've worked for dotERP and Signetique developing web-based applications using J2EE and XML.

I joined SoC as a research assistant from October 2004 to Feb 2006 on the research project: `A Language-Based Approach to Financial Analyses' under the supervision of A/P Khoo Siau Cheng. I started pursuing SoC graduate program on a part time basis since January 2005 and converted to full time on March 2006. I did some part time teaching and research assistantship after March 2006.

Contact

Programming Language and Systems Lab II
S15 #06-17
Department of Computer Science, School of Computing
National University of Singapore

email: dlo@comp.nus.edu.sg
contact: ext. 1862

Research Interest

Awards

Publications

Book Chapter (Refereed)

  1. D. Lo and S-C. Khoo. Mining Software Specifications. Encyclopedia of Data Warehousing and Mining, 2nd Edition. (upcoming in Aug 2008)
    　

Conference & Workshop Proceedings (Refereed)

  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. [pdf] [Acceptance Rate: 27%]
    　
  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. [pdf] [Acceptance Rate: 16%]
    　
  3. 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. [pdf] [Acceptance Rate: 24.7%]
    　
  4. 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. [pdf] [Acceptance Rate: 66.7%]
    　
  5. 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. [pdf]
    　
  6. 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. [pdf][Acceptance Rate: 76.2%]
    　
  7. D. Lo, S-C. Khoo and C. Liu. Efficient Mining of Iterative Patterns for Software Specification Discovery. In proceedings of the 13th SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD'07). San Jose, California. Aug 12-15, 2007. [pdf] [Acceptance Rate: 17.9%]
    　
  8. D. Lo and S-C. Khoo. SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner. In proceedings of the 14th SIGSOFT Symposium on Foundation of Software Engineering (FSE'06). Portland, Oregon. Nov 5-11, 2006. [pdf] [Acceptance Rate: 20%]
    　
  9. D. Lo and S-C. Khoo. QUARK: Empirical Assessment of Automaton-based Specification Miners. In proceedings of the 13th Working Conference on Reverse Engineering (WCRE'06) . Benevento, Italy. Oct 23-27, 2006. [pdf] [Acceptance Rate: 28%]
    　

Research Competition (Refereed)

  1. D. Lo and S-C. Khoo. A Sound and Complete Specification Miner. Poster & oral presented at the 25th SIGPLAN Programming Language Design and Implementation (PLDI'07). Awarded second position at the Student Research Competition. [link] San Diego, California. June 10-13, 2007.
    　

Others (Non refereed)

  1. D. Lo and S-C. Khoo. Model Checking in the Absence of Code, Model and Properties. Poster presented at the 5th Asian Symposium on Programming Languages and Systems (APLAS07). Singapore. Nov 29-Dec 1, 2007. [pdf]
    　

Honour's Year Thesis

  1. David Lo. Library of Biological Sequence Matching and Gene Parsing Routines. Final Year Project Report, Nanyang Technological University, 2004.

Research Experiences

Research Assistant (Oct 2004 – Feb 2006)
Project: A Language-Based Approach to Financial Analyses
Supervisors: A/P Khoo Siau Cheng and A/P Chin Wei Ngan
Web: http://www.comp.nus.edu.sg/~findel/

Research Contributor (Apr 2005-Apr 2006)
Project: Framework for Modeling and Verifying Software Security
MSRA Funded Project
Supervisors: A/P Khoo Siau Cheng, A/P Chin Wei Ngan
Web: http://loris-7.ddns.comp.nus.edu.sg/~securecode/

Phd Student (Jan 2005 - May 2008 [Expected])
Project: Software Specification Mining
Supervisor: A/P Khoo Siau Cheng

Teaching Experiences

Guest lecturer
Introduction to .Net and C#
CS3215: Software Engineering Project
(Semester 2, 04/05)

Teaching Assistant
CS3215: Software Engineering Project
(Semester 2, 05/06; Semester 1, 06/07; Semester 2, 06/07)

Administrative Duties

Student Lab Coordinator
Programming Language and Systems Lab II
S15 #06-17

Courses Completed

Semester 2, 04/05

  1. CS5228 - Knowledge Discovery in Database
  2. CS6220 - Advanced Topics in Data Mining
  3. CS6201 - Software Reuse

Semester 3-4, 04/05

  1. MA6252 - Topics in Applied Mathematics
  2. TR5105 - Technopreneurship

Semester 1, 05/06

  1. CS4214 - Formal Semantics
  2. CS5218 - Principles of Program Analysis
  3. CS6214 - Automated Software Validation
  4. CS5100 - Graduate Research Paper
  5. CS5201 - Foundation in Theoretical CS
  6. CS5202 - Foundation in Computer System

Average Grade: A (3 A+, 2 A, 3 A-, 3 S)
CAP: 4.81 out of 5

Last Modified: Jan 2008