Siau-Cheng Khoo

104 papers A* 13A 10B 17C 13Misc 2Journal 28Unranked 21

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