Compiling Inheritance using Partial Evaluation. - Siau-Cheng Khoo; R. S. Sundaresh (PEPM, 1991)

Evaluation partielle paramétrable. - Charles Consel; Siau-Cheng Khoo (JTASPEFT/WSA, 1991)

Tupling Functions with Multiple Recursion Parameters. - Wei-Ngan Chin; Siau-Cheng Khoo (WSA, 1993)

Semantics-Directed Generation of a Prolog Compiler. - Charles Consel; Siau-Cheng Khoo (Sci. Comput. Program., 1993)

Parameterized Partial Evaluation. - Charles Consel; Siau-Cheng Khoo (ACM Trans. Program. Lang. Syst., 1993)

Better Consumers for Deforestation (Extended Abstract) - Wei-Ngan Chin; Siau-Cheng Khoo (PLILP, 1995)

On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. - Charles Consel; Siau-Cheng Khoo (J. Funct. Program., 1995)

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). - Wei-Ngan Chin; Siau-Cheng Khoo; Peter Thiemann 001 (Dagstuhl Seminar on Partial Evaluation, 1996)

Better Consumers for Program Specializations. - Wei-Ngan Chin; Siau-Cheng Khoo (J. Funct. Log. Program., 1996)

Synchronisation Analysis to Stop Tulping. - Wei-Ngan Chin; Siau-Cheng Khoo; Tat-Wee Lee (ESOP, 1998)

Effective Optimization of Multiple Traversals in Lazy Languages. - Wei-Ngan Chin; Aik-Hui Goh; Siau-Cheng Khoo (PEPM, 1999)

Deriving Pre-Conditions for Array Bound Check Elimination. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2000)

Deriving Parallel Codes via Invariants. - Wei-Ngan Chin; Siau-Cheng Khoo; Zhenjiang Hu; Masato Takeichi (SAS, 2000)

Efficient Interpretation of Chart Pattern Language. - Saswat Anand; Siau-Cheng Khoo (APLAS, 2001)

Higher-Order Polymorphic Sized Types for Safety Checks. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2001)

Charting Patterns on Price History. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICFP, 2001)

Calculating Sized Types. - Wei-Ngan Chin; Siau-Cheng Khoo (High. Order Symb. Comput., 2001)

Extending Sized Type with Collection Analysis. - Wei-Ngan Chin; Siau-Cheng Khoo; Dana N. Xu (APLAS, 2002)

A Type-Based Approach to Parallelization (preliminary report). - Dana N. Xu; Siau-Cheng Khoo; Wei-Ngan Chin; Zhenjiang Hu (APLAS, 2002)

A Lazy Divide and Conquer Approach to Constraint Solving. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICTAI, 2002)

Output-constraint specialization. - Siau-Cheng Khoo; Kun Shi (ASIA-PEPM, 2002)

Compiling real time functional reactive programming. - Dana N. Xu; Siau-Cheng Khoo (ASIA-PEPM, 2002)

Affine-Based Size-Change Termination. - Hugh Anderson; Siau-Cheng Khoo (APLAS, 2003)

PType System: A Featherweight Parallelizability Detector. - Dana N. Xu; Siau-Cheng Khoo; Zhenjiang Hu (APLAS, 2004)

Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. - Wee Kheng Leow; Siau-Cheng Khoo; Yi Sun (ICSE, 2004)

Heuristic Search with Reachability Tests for Automated Generation of Test Programs. - Wee Kheng Leow; Siau-Cheng Khoo; Tiong Hoe Loh; Vivy Suhendra (ASE, 2004)

Program Adaptation via Output-Constraint Specialization. - Siau-Cheng Khoo; Kun Shi (High. Order Symb. Comput., 2004)

Calculating Polynomial Runtime Properties. - Hugh Anderson; Siau-Cheng Khoo; Stefan Andrei; Beatrice Luca (APLAS, 2005)

Verifying safety policies with size properties and alias controls. - Wei-Ngan Chin; Siau-Cheng Khoo; Shengchao Qin; Corneliu Popeea; Huu Hai Nguyen (ICSE, 2005)

A flow-based approach for variant parametric types. - Wei-Ngan Chin; Florin Craciun; Siau-Cheng Khoo; Corneliu Popeea (OOPSLA, 2006)

Program transformation by solving recurrences. - Beatrice Luca; Stefan Andrei; Hugh Anderson; Siau-Cheng Khoo (PEPM, 2006)

Type-directed weaving of aspects for higher-order functional languages. - Meng Wang 002; Kung Chen; Siau-Cheng Khoo (PEPM, 2006)

SMArTIC: towards building an accurate, robust and scalable specification miner. - David Lo 001; Siau-Cheng Khoo (SIGSOFT FSE, 2006)

QUARK: Empirical Assessment of Automaton-based Specification Miners. - David Lo 001; Siau-Cheng Khoo (WCRE, 2006)

Redundant Call Elimination via Tupling. - Wei-Ngan Chin; Siau-Cheng Khoo; Neil D. Jones (Fundam. Informaticae, 2006)

Mining modal scenario-based specifications from execution traces of reactive systems. - David Lo 001; Shahar Maoz; Siau-Cheng Khoo (ASE, 2007)

Efficient mining of iterative patterns for software specification discovery. - David Lo 001; Siau-Cheng Khoo; Chao Liu 001 (KDD, 2007)

Mining modal scenarios from execution traces. - David Lo 001; Shahar Maoz; Siau-Cheng Khoo (OOPSLA Companion, 2007)

Towards constructing reusable specialization components. - Ping Zhu; Siau-Cheng Khoo (PEPM, 2007)

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (SAS, 2007)

A Tool for Calculating Exponential Run-Time Properties. - Hugh Anderson; Siau-Cheng Khoo; Yijie Liu (SYNASC, 2007)

Efficient Mining of Recurrent Rules from a Sequence Database. - David Lo 001; Siau-Cheng Khoo; Chao Liu 001 (DASFAA, 2008)

Mining past-time temporal rules from execution traces. - David Lo 001; Siau-Cheng Khoo; Chao Liu 001 (WODA, 2008)

Specialization for applications using shared libraries. - Ping Zhu; Siau-Cheng Khoo (PEPM, 2008)

Mining and Ranking Generators of Sequential Patterns. - David Lo 001; Siau-Cheng Khoo; Jinyan Li 001 (SDM, 2008)

Mining patterns and rules for software specification discovery. - David Lo 001; Siau-Cheng Khoo (Proc. VLDB Endow., 2008)

Mining temporal rules for software maintenance. - David Lo 001; Siau-Cheng Khoo; Chao Liu 001 (J. Softw. Maintenance Res. Pract., 2008)

Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. - Bolin Ding; David Lo 001; Jiawei Han 001; Siau-Cheng Khoo (ICDE, 2009)

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

Designing aspects for side-effect localization. - Kung Chen; Jia-Yin Lin; Shu-Chun Weng; Siau-Cheng Khoo (PEPM, 2009)

Improving Responsiveness of Hard Real-Time Embedded Systems. - Hugh Anderson; Siau-Cheng Khoo (TASE, 2009)

Non-redundant sequential rules - Theory and algorithm. - David Lo 001; Siau-Cheng Khoo; Limsoon Wong (Inf. Syst., 2009)

LM: a miner for scenario-based specifications. - Tuan-Anh Doan; David Lo 001; Shahar Maoz; Siau-Cheng Khoo (ICSE (2), 2010)

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

Regular approximation and bounded domains for size-change termination. - Hugh Anderson; Siau-Cheng Khoo (PEPM, 2010)

Type-directed weaving of aspects for polymorphically typed functional languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (Sci. Comput. Program., 2010)

Extracting Significant Specifications from Mining through Mutation Testing. - Anh Cuong Nguyen; Siau-Cheng Khoo (ICFEM, 2011)

Mining message sequence graphs. - Sandeep Kumar; Siau-Cheng Khoo; Abhik Roychoudhury; David Lo 001 (ICSE, 2011)

Graph-based detection of library API imitations. - Chengnian Sun; Siau-Cheng Khoo; Shao Jie Zhang (ICSM, 2011)

Towards more accurate retrieval of duplicate bug reports. - Chengnian Sun; David Lo 001; Siau-Cheng Khoo; Jing Jiang 005 (ASE, 2011)

NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. - Narcisa Andreea Milea; Siau-Cheng Khoo; David Lo 001; Cristian Pop (RV, 2011)

Side-effect localization for lazy, purely functional languages via aspects. - Kung Chen; Shu-Chun Weng; Jia-Yin Lin; Meng Wang 002; Siau-Cheng Khoo (High. Order Symb. Comput., 2011)

Mining Iterative Generators and Representative Rules for Software Specification Discovery. - David Lo 001; Jinyan Li 001; Limsoon Wong; Siau-Cheng Khoo (IEEE Trans. Knowl. Data Eng., 2011)

Inferring class level specifications for distributed systems. - Sandeep Kumar; Siau-Cheng Khoo; Abhik Roychoudhury; David Lo 001 (ICSE, 2012)

Semantic patch inference. - Jesper Andersen; Anh Cuong Nguyen; David Lo 001; Julia L. Lawall; Siau-Cheng Khoo (ASE, 2012)

Discovering complete API rules with mutation testing. - Anh Cuong Nguyen; Siau-Cheng Khoo (MSR, 2012)

Mining Dataflow Sensitive Specifications. - Zhiqiang Zuo 002; Siau-Cheng Khoo (ICFEM, 2013)

Mining explicit rules for software process evaluation. - Chengnian Sun; Jing Du 001; Ning Chen; Siau-Cheng Khoo; Ye Yang (ICSSP, 2013)

Mining succinct predicated bug signatures. - Chengnian Sun; Siau-Cheng Khoo (ESEC/SIGSOFT FSE, 2013)

Scalable detection of missed cross-function refactorings. - Narcisa Andreea Milea; Lingxiao Jiang; Siau-Cheng Khoo (ISSTA, 2014)

Efficient predicated bug signature mining via hierarchical instrumentation. - Zhiqiang Zuo 002; Siau-Cheng Khoo; Chengnian Sun (ISSTA, 2014)

Vector abstraction and concretization for scalable detection of refactorings. - Narcisa Andreea Milea; Lingxiao Jiang; Siau-Cheng Khoo (SIGSOFT FSE, 2014)

Querying sequential software engineering data. - Chengnian Sun; Haidong Zhang; Jian-Guang Lou; Hongyu Zhang 002; Qiang Wang; Dongmei Zhang 001; Siau-Cheng Khoo (SIGSOFT FSE, 2014)

Goal-oriented dynamic test generation. - TheAnh Do; Siau-Cheng Khoo; Alvis Cheuk Ming Fong; Russel Pears; Tho Thanh Quan (Inf. Softw. Technol., 2015)

Automated Mutual Explicit Induction Proof in Separation Logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (FM, 2016)

Predicting Consistent Clone Change. - Fanlong Zhang; Siau-Cheng Khoo; Xiaohong Su (ISSRE, 2016)

Low-overhead and fully automated statistical debugging with abstraction refinement. - Zhiqiang Zuo 002; Lu Fang 003; Siau-Cheng Khoo; Guoqing Xu 001; Shan Lu 001 (OOPSLA, 2016)

GEMS: An Extract Method Refactoring Recommender. - Sihan Xu; Aishwarya Sivaraman; Siau-Cheng Khoo; Jing Xu 008 (ISSRE, 2017)

Predicting change consistency in a clone group. - Fanlong Zhang; Siau-Cheng Khoo; Xiaohong Su (J. Syst. Softw., 2017)

Automated lemma synthesis in symbolic-heap separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Proc. ACM Program. Lang., 2018)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Automated mutual induction proof in separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Formal Aspects Comput., 2019)

Improving Maintenance-Consistency Prediction During Code Clone Creation. - Fanlong Zhang; Siau-Cheng Khoo; Xiaohong Su (IEEE Access, 2020)

Scalable and Modular Robustness Analysis of Deep Neural Networks. - Yuyi Zhong; Quang-Trung Ta; Tianzuo Luo; Fanlong Zhang; Siau-Cheng Khoo (APLAS, 2021)

An empirical study on clone consistency prediction based on machine learning. - Fanlong Zhang; Siau-Cheng Khoo (Inf. Softw. Technol., 2021)

ARENA: Enhancing Abstract Refinement for Neural Network Verification. - Yuyi Zhong; Quang-Trung Ta; Siau-Cheng Khoo (SPLASH Companion, 2022)

DeepSuite: A Test Suite Optimizer for Autonomous Vehicles. - Sihan Xu; Zhiyu Wang; Lingling Fan 003; Xiangrui Cai; Hua Ji; Siau-Cheng Khoo; Brij Bhooshan Gupta (IEEE Trans. Intell. Transp. Syst., 2022)

Expediting Neural Network Verification via Network Reduction. - Yuyi Zhong; Ruiwei Wang; Siau-Cheng Khoo (ASE, 2023)

ExploreADV: Towards exploratory attack for Neural Networks. - Tianzuo Luo; Yuyi Zhong; Siau-Cheng Khoo (CoRR, 2023)

Toward More Efficient Statistical Debugging with Abstraction Refinement. - Zhiqiang Zuo 002; Xintao Niu; Siyi Zhang 011; Lu Fang 003; Siau-Cheng Khoo; Shan Lu 001; Chengnian Sun; Guoqing Harry Xu (ACM Trans. Softw. Eng. Methodol., 2023)

CHANN: A Hierarchical Neural Network for Clone Consistency Prediction. - Fanlong Zhang; Yu-Chen Chen; Siau-Cheng Khoo; Wenchao Jiang (J. Comput. Sci. Technol., 2025)