| 2023 | VMCAI | ARENA: Enhancing Abstract Refinement for Neural Network Verification. | Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo |
| 2021 | APLAS | Scalable and Modular Robustness Analysis of Deep Neural Networks. | Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2017 | ISSRE | GEMS: An Extract Method Refactoring Recommender. | Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu |
| 2016 | FM | Automated Mutual Explicit Induction Proof in Separation Logic. | Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin |
| 2016 | ISSRE | Predicting Consistent Clone Change. | Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su |
| 2016 | OOPSLA | Low-overhead and fully automated statistical debugging with abstraction refinement. | Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu |
| 2014 | ISSTA | Scalable detection of missed cross-function refactorings. | Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo |
| 2014 | ISSTA | Efficient predicated bug signature mining via hierarchical instrumentation. | Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun |
| 2013 | ICFEM | Mining Dataflow Sensitive Specifications. | Zhiqiang Zuo, Siau-Cheng Khoo |
| 2012 | ICSE | Inferring class level specifications for distributed systems. | Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo |
| 2012 | MSR | Discovering complete API rules with mutation testing. | Anh Cuong Nguyen, Siau-Cheng Khoo |
| 2011 | ICFEM | Extracting Significant Specifications from Mining through Mutation Testing. | Anh Cuong Nguyen, Siau-Cheng Khoo |
| 2011 | ICSE | Mining message sequence graphs. | Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo |
| 2011 | RV | NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. | Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop |
| 2010 | ICSE | LM: a miner for scenario-based specifications. | Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo |
| 2010 | ICSE | A discriminative model approach for accurate duplicate bug report retrieval. | Chengnian Sun, David Lo, Xiaoyin Wang, Jing Jiang, Siau-Cheng Khoo |
| 2010 | PEPM | Regular approximation and bounded domains for size-change termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2009 | ICDE | Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. | Bolin Ding, David Lo, Jiawei Han, Siau-Cheng Khoo |
| 2009 | KDD | Classification of software behaviors for failure detection: a discriminative pattern mining approach. | David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun |
| 2009 | PEPM | Designing aspects for side-effect localization. | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
| 2009 | TASE | Improving Responsiveness of Hard Real-Time Embedded Systems. | Hugh Anderson, Siau-Cheng Khoo |
| 2008 | DASFAA | Efficient Mining of Recurrent Rules from a Sequence Database. | David Lo, Siau-Cheng Khoo, Chao Liu |
| 2008 | ISSTA | Mining past-time temporal rules from execution traces. | David Lo, Siau-Cheng Khoo, Chao Liu |
| 2008 | PEPM | Specialization for applications using shared libraries. | Ping Zhu, Siau-Cheng Khoo |
| 2008 | SDM | Mining and Ranking Generators of Sequential Patterns. | David Lo, Siau-Cheng Khoo, Jinyan Li |
| 2007 | KDD | Efficient mining of iterative patterns for software specification discovery. | David Lo, Siau-Cheng Khoo, Chao Liu |
| 2007 | OOPSLA | Mining modal scenarios from execution traces. | David Lo, Shahar Maoz, Siau-Cheng Khoo |
| 2007 | PEPM | Towards constructing reusable specialization components. | Ping Zhu, Siau-Cheng Khoo |
| 2007 | SAS | A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |
| 2007 | SYNASC | A Tool for Calculating Exponential Run-Time Properties. | Hugh Anderson, Siau-Cheng Khoo, Yijie Liu |
| 2006 | OOPSLA | A flow-based approach for variant parametric types. | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
| 2006 | PEPM | Program transformation by solving recurrences. | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
| 2006 | PEPM | Type-directed weaving of aspects for higher-order functional languages. | Meng Wang, Kung Chen, Siau-Cheng Khoo |
| 2005 | APLAS | Calculating Polynomial Runtime Properties. | Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca |
| 2005 | ICSE | Verifying safety policies with size properties and alias controls. | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
| 2004 | APLAS | PType System: A Featherweight Parallelizability Detector. | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
| 2004 | ICSE | Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. | Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun |
| 2003 | APLAS | Affine-Based Size-Change Termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2003 | PEPM | Extending sized type with collection analysis. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2002 | APLAS | Extending Sized Type with Collection Analysis. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2002 | APLAS | A Type-Based Approach to Parallelization (preliminary report). | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
| 2002 | ICTAI | A Lazy Divide and Conquer Approach to Constraint Solving. | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
| 2002 | PEPM | Output-constraint specialization. | Siau-Cheng Khoo, Kun Shi |
| 2002 | PEPM | Compiling real time functional reactive programming. | Dana N. Xu, Siau-Cheng Khoo |
| 2001 | APLAS | Efficient Interpretation of Chart Pattern Language. | Saswat Anand, Siau-Cheng Khoo |
| 2001 | APLAS | Higher-Order Polymorphic Sized Types for Safety Checks. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2001 | ICFP | Charting Patterns on Price History. | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
| 2000 | APLAS | Deriving Pre-Conditions for Array Bound Check Elimination. | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
| 2000 | PEPM | Calculating Sized Types. | Wei-Ngan Chin, Siau-Cheng Khoo |
| 2000 | SAS | Deriving Parallel Codes via Invariants. | Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi |
| 1999 | PEPM | Effective Optimization of Multiple Traversals in Lazy Languages. | Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo |
| 1998 | ESOP | Synchronisation Analysis to Stop Tulping. | Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
| 1993 | SAS | Tupling Functions with Multiple Recursion Parameters. | Wei-Ngan Chin, Siau-Cheng Khoo |
| 1991 | PEPM | Compiling Inheritance using Partial Evaluation. | Siau-Cheng Khoo, R. S. Sundaresh |
| 1991 | PLDI | Parameterized Partial Evaluation. | Charles Consel, Siau-Cheng Khoo |
| 1991 | SAS | Evaluation partielle paramtrable. | Charles Consel, Siau-Cheng Khoo |