default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSiau-Cheng Khoo
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j21]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): 36:1-36:38 (2023)- [c74]Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo:
Expediting Neural Network Verification via Network Reduction. ASE 2023: 1263-1275 - [c73]Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo:
ARENA: Enhancing Abstract Refinement for Neural Network Verification. VMCAI 2023: 366-388 - [i5]Tianzuo Luo, Yuyi Zhong, Siau-Cheng Khoo:
ExploreADV: Towards exploratory attack for Neural Networks. CoRR abs/2301.01223 (2023) - [i4]Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo:
Expediting Neural Network Verification via Network Reduction. CoRR abs/2308.03330 (2023) - 2022
- [j20]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): 9506-9517 (2022) - [c72]Yuyi Zhong, Quang-Trung Ta, Siau-Cheng Khoo:
ARENA: Enhancing Abstract Refinement for Neural Network Verification. SPLASH Companion 2022: 66-68 - 2021
- [j19]Fanlong Zhang, Siau-Cheng Khoo:
An empirical study on clone consistency prediction based on machine learning. Inf. Softw. Technol. 136: 106573 (2021) - [c71]Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo:
Scalable and Modular Robustness Analysis of Deep Neural Networks. APLAS 2021: 3-22 - [i3]Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo:
Scalable and Modular Robustness Analysis of Deep Neural Networks. CoRR abs/2108.11651 (2021) - 2020
- [j18]Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su:
Improving Maintenance-Consistency Prediction During Code Clone Creation. IEEE Access 8: 82085-82099 (2020)
2010 – 2019
- 2019
- [j17]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated mutual induction proof in separation logic. Formal Aspects Comput. 31(2): 207-230 (2019) - [c70]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: 116-132 - 2018
- [j16]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): 9:1-9:29 (2018) - 2017
- [j15]Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su:
Predicting change consistency in a clone group. J. Syst. Softw. 134: 105-119 (2017) - [c69]Sihan Xu, Aishwarya Sivaraman, Siau-Cheng Khoo, Jing Xu:
GEMS: An Extract Method Refactoring Recommender. ISSRE 2017: 24-34 - [i2]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Lemma Synthesis in Symbolic-Heap Separation Logic. CoRR abs/1710.09635 (2017) - 2016
- [c68]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Mutual Explicit Induction Proof in Separation Logic. FM 2016: 659-676 - [c67]Fanlong Zhang, Siau-Cheng Khoo, Xiaohong Su:
Predicting Consistent Clone Change. ISSRE 2016: 353-364 - [c66]Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu:
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA 2016: 881-896 - [i1]Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated Mutual Explicit Induction Proof in Separation Logic. CoRR abs/1609.00919 (2016) - 2015
- [j14]TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan:
Goal-oriented dynamic test generation. Inf. Softw. Technol. 66: 40-57 (2015) - 2014
- [c65]Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo:
Scalable detection of missed cross-function refactorings. ISSTA 2014: 138-148 - [c64]Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun:
Efficient predicated bug signature mining via hierarchical instrumentation. ISSTA 2014: 215-224 - [c63]Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo:
Vector abstraction and concretization for scalable detection of refactorings. SIGSOFT FSE 2014: 86-97 - [c62]Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, Siau-Cheng Khoo:
Querying sequential software engineering data. SIGSOFT FSE 2014: 700-710 - 2013
- [c61]Zhiqiang Zuo, Siau-Cheng Khoo:
Mining Dataflow Sensitive Specifications. ICFEM 2013: 36-52 - [c60]Chengnian Sun, Jing Du, Ning Chen, Siau-Cheng Khoo, Ye Yang:
Mining explicit rules for software process evaluation. ICSSP 2013: 118-125 - [c59]Chengnian Sun, Siau-Cheng Khoo:
Mining succinct predicated bug signatures. ESEC/SIGSOFT FSE 2013: 576-586 - 2012
- [c58]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Inferring class level specifications for distributed systems. ICSE 2012: 914-924 - [c57]Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo:
Semantic patch inference. ASE 2012: 382-385 - [c56]Anh Cuong Nguyen, Siau-Cheng Khoo:
Discovering complete API rules with mutation testing. MSR 2012: 151-160 - 2011
- [j13]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): 151-189 (2011) - [j12]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): 282-296 (2011) - [c55]Anh Cuong Nguyen, Siau-Cheng Khoo:
Extracting Significant Specifications from Mining through Mutation Testing. ICFEM 2011: 472-488 - [c54]Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo:
Mining message sequence graphs. ICSE 2011: 91-100 - [c53]Chengnian Sun, Siau-Cheng Khoo, Shao Jie Zhang:
Graph-based detection of library API imitations. ICSM 2011: 183-192 - [c52]Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang:
Towards more accurate retrieval of duplicate bug reports. ASE 2011: 253-262 - [c51]Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop:
NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. RV 2011: 115-130 - [e1]Siau-Cheng Khoo, Jeremy G. Siek:
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. ACM 2011, ISBN 978-1-4503-0485-6 [contents] - 2010
- [j11]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): 1048-1076 (2010) - [c50]Chengnian Sun, David Lo, Xiaoyin Wang, Jing Jiang, Siau-Cheng Khoo:
A discriminative model approach for accurate duplicate bug report retrieval. ICSE (1) 2010: 45-54 - [c49]Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo:
LM: a miner for scenario-based specifications. ICSE (2) 2010: 319-320 - [c48]Hugh Anderson, Siau-Cheng Khoo:
Regular approximation and bounded domains for size-change termination. PEPM 2010: 53-62
2000 – 2009
- 2009
- [j10]David Lo, Siau-Cheng Khoo, Limsoon Wong:
Non-redundant sequential rules - Theory and algorithm. Inf. Syst. 34(4-5): 438-453 (2009) - [c47]Bolin Ding, David Lo, Jiawei Han, Siau-Cheng Khoo:
Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. ICDE 2009: 1024-1035 - [c46]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: 557-566 - [c45]Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo:
Designing aspects for side-effect localization. PEPM 2009: 189-198 - [c44]Hugh Anderson, Siau-Cheng Khoo:
Improving Responsiveness of Hard Real-Time Embedded Systems. TASE 2009: 13-20 - 2008
- [j9]David Lo, Siau-Cheng Khoo:
Mining patterns and rules for software specification discovery. Proc. VLDB Endow. 1(2): 1609-1616 (2008) - [j8]David Lo, Siau-Cheng Khoo, Chao Liu:
Mining temporal rules for software maintenance. J. Softw. Maintenance Res. Pract. 20(4): 227-247 (2008) - [c43]David Lo, Siau-Cheng Khoo, Chao Liu:
Efficient Mining of Recurrent Rules from a Sequence Database. DASFAA 2008: 67-83 - [c42]David Lo, Siau-Cheng Khoo, Chao Liu:
Mining past-time temporal rules from execution traces. WODA 2008: 50-56 - [c41]Ping Zhu, Siau-Cheng Khoo:
Specialization for applications using shared libraries. PEPM 2008: 159-168 - [c40]David Lo, Siau-Cheng Khoo, Jinyan Li:
Mining and Ranking Generators of Sequential Patterns. SDM 2008: 553-564 - 2007
- [c39]David Lo, Shahar Maoz, Siau-Cheng Khoo:
Mining modal scenario-based specifications from execution traces of reactive systems. ASE 2007: 465-468 - [c38]David Lo, Siau-Cheng Khoo, Chao Liu:
Efficient mining of iterative patterns for software specification discovery. KDD 2007: 460-469 - [c37]David Lo, Shahar Maoz, Siau-Cheng Khoo:
Mining modal scenarios from execution traces. OOPSLA Companion 2007: 777-778 - [c36]Ping Zhu, Siau-Cheng Khoo:
Towards constructing reusable specialization components. PEPM 2007: 154-163 - [c35]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: 34-51 - [c34]Hugh Anderson, Siau-Cheng Khoo, Yijie Liu:
A Tool for Calculating Exponential Run-Time Properties. SYNASC 2007: 25-32 - 2006
- [j7]Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones:
Redundant Call Elimination via Tupling. Fundam. Informaticae 69(1-2): 1-37 (2006) - [c33]Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea:
A flow-based approach for variant parametric types. OOPSLA 2006: 273-290 - [c32]Meng Wang, Kung Chen, Siau-Cheng Khoo:
Type-directed weaving of aspects for higher-order functional languages. PEPM 2006: 78-87 - [c31]Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo:
Program transformation by solving recurrences. PEPM 2006: 121-129 - [c30]David Lo, Siau-Cheng Khoo:
SMArTIC: towards building an accurate, robust and scalable specification miner. SIGSOFT FSE 2006: 265-275 - [c29]David Lo, Siau-Cheng Khoo:
QUARK: Empirical Assessment of Automaton-based Specification Miners. WCRE 2006: 51-60 - 2005
- [c28]Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca:
Calculating Polynomial Runtime Properties. APLAS 2005: 230-246 - [c27]Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls. ICSE 2005: 186-195 - 2004
- [j6]Siau-Cheng Khoo, Kun Shi:
Program Adaptation via Output-Constraint Specialization. High. Order Symb. Comput. 17(1-2): 93-128 (2004) - [c26]Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212 - [c25]Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun:
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. ICSE 2004: 96-105 - [c24]Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra:
Heuristic Search with Reachability Tests for Automated Generation of Test Programs. ASE 2004: 282-285 - 2003
- [c23]Hugh Anderson, Siau-Cheng Khoo:
Affine-Based Size-Change Termination. APLAS 2003: 122-140 - [c22]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Extending sized type with collection analysis. PEPM 2003: 75-84 - 2002
- [c21]Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192 - [c20]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Extending Sized Type with Collection Analysis. APLAS 2002: 396-413 - [c19]Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo:
A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91- - [c18]Dana N. Xu, Siau-Cheng Khoo:
Compiling real time functional reactive programming. ASIA-PEPM 2002: 83-93 - [c17]Siau-Cheng Khoo, Kun Shi:
Output-constraint specialization. ASIA-PEPM 2002: 106-116 - 2001
- [j5]Wei-Ngan Chin, Siau-Cheng Khoo:
Calculating Sized Types. High. Order Symb. Comput. 14(2-3): 261-300 (2001) - [c16]Saswat Anand, Siau-Cheng Khoo:
Efficient Interpretation of Chart Pattern Language. APLAS 2001: 39-48 - [c15]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131 - [c14]Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo:
Charting Patterns on Price History. ICFP 2001: 134-145 - [c13]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Deriving Pre-conditions for Array Bound Check Elimination. PADO 2001: 2-24 - 2000
- [c12]Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21 - [c11]Wei-Ngan Chin, Siau-Cheng Khoo:
Calculating Sized Types. PEPM 2000: 62-72 - [c10]Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi:
Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1990 – 1999
- 1999
- [c9]Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo:
Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130 - 1998
- [c8]Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee:
Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89 - 1996
- [j4]Wei-Ngan Chin, Siau-Cheng Khoo:
Better Consumers for Program Specializations. J. Funct. Log. Program. 1996(4) (1996) - [c7]Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann:
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53 - 1995
- [j3]Charles Consel, Siau-Cheng Khoo:
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. J. Funct. Program. 5(4): 461-500 (1995) - [c6]Wei-Ngan Chin, Siau-Cheng Khoo:
Better Consumers for Deforestation (Extended Abstract). PLILP 1995: 223-240 - 1993
- [j2]Charles Consel, Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21(3): 263-291 (1993) - [j1]Charles Consel, Siau-Cheng Khoo:
Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993) - [c5]Wei-Ngan Chin, Siau-Cheng Khoo:
Tupling Functions with Multiple Recursion Parameters. WSA 1993: 124-140 - 1991
- [c4]Siau-Cheng Khoo, R. S. Sundaresh:
Compiling Inheritance using Partial Evaluation. PEPM 1991: 211-222 - [c3]Charles Consel, Siau-Cheng Khoo:
Parameterized Partial Evaluation. PLDI 1991: 92-106 - [c2]Charles Consel, Siau-Cheng Khoo:
Semantics-Directed Generation of a Prolog Compiler. PLILP 1991: 135-146 - [c1]Charles Consel, Siau-Cheng Khoo:
Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
