Siau-Cheng Khoo

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 21

Top Venues

Publications

Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Expediting Neural Network Verification via Network Reduction. CoRR (2023)
Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Expediting Neural Network Verification via Network Reduction. ASE (2023)
Tianzuo Luo, Yuyi Zhong, Siau-Cheng Khoo
ExploreADV: Towards exploratory attack for Neural Networks. CoRR (2023)
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI (2023)
Sihan Xu, Zhiyu Wang, Lingling Fan, Xiangrui Cai, Hua Ji, Siau-Cheng Khoo, Brij Bhooshan Gupta
DeepSuite: A Test Suite Optimizer for Autonomous Vehicles. IEEE Trans. Intell. Transp. Syst. 23 (7) (2022)
Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo
ARENA: Enhancing Abstract Refinement for Neural Network Verification. SPLASH Companion (2022)
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
Scalable and Modular Robustness Analysis of Deep Neural Networks. APLAS (2021)
Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
Scalable and Modular Robustness Analysis of Deep Neural Networks. CoRR (2021)
Fanlong Zhang, Siau-Cheng Khoo
An empirical study on clone consistency prediction based on machine learning. Inf. Softw. Technol. 136 (2021)
Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su
Improving Maintenance-Consistency Prediction During Code Clone Creation. IEEE Access 8 (2020)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31 (2) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated lemma synthesis in symbolic-heap separation logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR (2017)
Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su
Predicting change consistency in a clone group. J. Syst. Softw. 134 (2017)
Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu
GEMS: An Extract Method Refactoring Recommender. ISSRE (2017)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR (2016)
Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA (2016)
Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su
Predicting Consistent Clone Change. ISSRE (2016)
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin
Automated Mutual Explicit Induction Proof in Separation Logic. FM (2016)
TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
Goal-oriented dynamic test generation. Inf. Softw. Technol. 66 (2015)
Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun
Efficient predicated bug signature mining via hierarchical instrumentation. ISSTA (2014)
Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo
Scalable detection of missed cross-function refactorings. ISSTA (2014)
Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo
Vector abstraction and concretization for scalable detection of refactorings. SIGSOFT FSE (2014)
Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, Siau-Cheng Khoo
Querying sequential software engineering data. SIGSOFT FSE (2014)
Chengnian Sun, Jing Du, Ning Chen, Siau-Cheng Khoo, Ye Yang
Mining explicit rules for software process evaluation. ICSSP (2013)
Chengnian Sun, Siau-Cheng Khoo
Mining succinct predicated bug signatures. ESEC/SIGSOFT FSE (2013)
Zhiqiang Zuo, Siau-Cheng Khoo
Mining Dataflow Sensitive Specifications. ICFEM (2013)
Anh Cuong Nguyen, Siau-Cheng Khoo
Discovering complete API rules with mutation testing. MSR (2012)
Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo
Semantic patch inference. ASE (2012)
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo
Inferring class level specifications for distributed systems. ICSE (2012)
Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang
Towards more accurate retrieval of duplicate bug reports. ASE (2011)
Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop
NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. RV (2011)
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo
Side-effect localization for lazy, purely functional languages via aspects. High. Order Symb. Comput. 24 (1-2) (2011)
Chengnian Sun, Siau-Cheng Khoo, Shao Jie Zhang
Graph-based detection of library API imitations. ICSM (2011)
Anh Cuong Nguyen, Siau-Cheng Khoo
Extracting Significant Specifications from Mining through Mutation Testing. ICFEM (2011)
Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo
Mining message sequence graphs. ICSE (2011)
David Lo, Jinyan Li, Limsoon Wong, Siau-Cheng Khoo
Mining Iterative Generators and Representative Rules for Software Specification Discovery. IEEE Trans. Knowl. Data Eng. 23 (2) (2011)
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo
LM: a miner for scenario-based specifications. ICSE (2) (2010)
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
Type-directed weaving of aspects for polymorphically typed functional languages. Sci. Comput. Program. 75 (11) (2010)
Hugh Anderson, Siau-Cheng Khoo
Regular approximation and bounded domains for size-change termination. PEPM (2010)
Chengnian Sun, David Lo, Xiaoyin Wang, Jing Jiang, Siau-Cheng Khoo
A discriminative model approach for accurate duplicate bug report retrieval. ICSE (1) (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)
David Lo, Siau-Cheng Khoo, Limsoon Wong
Non-redundant sequential rules - Theory and algorithm. Inf. Syst. 34 (4-5) (2009)
Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo
Designing aspects for side-effect localization. PEPM (2009)
Hugh Anderson, Siau-Cheng Khoo
Improving Responsiveness of Hard Real-Time Embedded Systems. TASE (2009)
Bolin Ding, David Lo, Jiawei Han, Siau-Cheng Khoo
Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. ICDE (2009)
David Lo, Siau-Cheng Khoo, Chao Liu
Mining temporal rules for software maintenance. J. Softw. Maintenance Res. Pract. 20 (4) (2008)
David Lo, Siau-Cheng Khoo
Mining patterns and rules for software specification discovery. Proc. VLDB Endow. 1 (2) (2008)
David Lo, Siau-Cheng Khoo, Chao Liu
Efficient Mining of Recurrent Rules from a Sequence Database. DASFAA (2008)
David Lo, Siau-Cheng Khoo, Chao Liu
Mining past-time temporal rules from execution traces. WODA (2008)
David Lo, Siau-Cheng Khoo, Jinyan Li
Mining and Ranking Generators of Sequential Patterns. SDM (2008)
Ping Zhu, Siau-Cheng Khoo
Specialization for applications using shared libraries. PEPM (2008)
David Lo, Shahar Maoz, Siau-Cheng Khoo
Mining modal scenarios from execution traces. OOPSLA Companion (2007)
Ping Zhu, Siau-Cheng Khoo
Towards constructing reusable specialization components. PEPM (2007)
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. SAS (2007)
Hugh Anderson, Siau-Cheng Khoo, Yijie Liu
A Tool for Calculating Exponential Run-Time Properties. SYNASC (2007)
David Lo, Siau-Cheng Khoo, Chao Liu
Efficient mining of iterative patterns for software specification discovery. KDD (2007)
David Lo, Shahar Maoz, Siau-Cheng Khoo
Mining modal scenario-based specifications from execution traces of reactive systems. ASE (2007)
Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
A flow-based approach for variant parametric types. OOPSLA (2006)
Meng Wang, Kung Chen, Siau-Cheng Khoo
Type-directed weaving of aspects for higher-order functional languages. PEPM (2006)
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
Program transformation by solving recurrences. PEPM (2006)
Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones
Redundant Call Elimination via Tupling. Fundam. Informaticae 69 (1-2) (2006)
David Lo, Siau-Cheng Khoo
SMArTIC: towards building an accurate, robust and scalable specification miner. SIGSOFT FSE (2006)
David Lo, Siau-Cheng Khoo
QUARK: Empirical Assessment of Automaton-based Specification Miners. WCRE (2006)
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
Verifying safety policies with size properties and alias controls. ICSE (2005)
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
Calculating Polynomial Runtime Properties. APLAS (2005)
Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra
Heuristic Search with Reachability Tests for Automated Generation of Test Programs. ASE (2004)
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. ICSE (2004)
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
PType System: A Featherweight Parallelizability Detector. APLAS (2004)
Siau-Cheng Khoo, Kun Shi
Program Adaptation via Output-Constraint Specialization. High. Order Symb. Comput. 17 (1-2) (2004)
Hugh Anderson, Siau-Cheng Khoo
Affine-Based Size-Change Termination. APLAS (2003)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Extending sized type with collection analysis. PEPM (2003)
Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
A Type-Based Approach to Parallelization (preliminary report). APLAS (2002)
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI (2002)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Extending Sized Type with Collection Analysis. APLAS (2002)
Siau-Cheng Khoo, Kun Shi
Output-constraint specialization. ASIA-PEPM (2002)
Dana N. Xu, Siau-Cheng Khoo
Compiling real time functional reactive programming. ASIA-PEPM (2002)
Saswat Anand, Siau-Cheng Khoo
Efficient Interpretation of Chart Pattern Language. APLAS (2001)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Higher-Order Polymorphic Sized Types for Safety Checks. APLAS (2001)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Deriving Pre-conditions for Array Bound Check Elimination. PADO (2001)
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
Charting Patterns on Price History. ICFP (2001)
Wei-Ngan Chin, Siau-Cheng Khoo
Calculating Sized Types. High. Order Symb. Comput. 14 (2-3) (2001)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Deriving Pre-Conditions for Array Bound Check Elimination. APLAS (2000)
Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
Deriving Parallel Codes via Invariants. SAS (2000)
Wei-Ngan Chin, Siau-Cheng Khoo
Calculating Sized Types. PEPM (2000)
Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo
Effective Optimization of Multiple Traversals in Lazy Languages. PEPM (1999)
Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
Synchronisation Analysis to Stop Tulping. ESOP (1998)
Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation (1996)
Wei-Ngan Chin, Siau-Cheng Khoo
Better Consumers for Program Specializations. J. Funct. Log. Program. 1996 (4) (1996)
Charles Consel, Siau-Cheng Khoo
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. J. Funct. Program. 5 (4) (1995)
Wei-Ngan Chin, Siau-Cheng Khoo
Better Consumers for Deforestation (Extended Abstract) PLILP (1995)
Charles Consel, Siau-Cheng Khoo
Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21 (3) (1993)
Wei-Ngan Chin, Siau-Cheng Khoo
Tupling Functions with Multiple Recursion Parameters. WSA (1993)
Charles Consel, Siau-Cheng Khoo
Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15 (3) (1993)
Siau-Cheng Khoo, R. S. Sundaresh
Compiling Inheritance using Partial Evaluation. PEPM (1991)
Charles Consel, Siau-Cheng Khoo
Parameterized Partial Evaluation. PLDI (1991)
Charles Consel, Siau-Cheng Khoo
Semantics-Directed Generation of a Prolog Compiler. PLILP (1991)
Charles Consel, Siau-Cheng Khoo
Evaluation partielle paramétrable. JTASPEFT/WSA (1991)

Siau-Cheng Khoo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Siau-Cheng Khoo