Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Khoo, Siau Cheng - Department of Computational Science, National University of Singapore
Program Adaptation via OutputConstraint Specialization #
Fundamenta Informaticae XX (2005) 1--37 1 Redundant Call Elimination via Tupling
Calculating Sized Types Wei-Ngan Chin and Siau-Cheng Khoo
Calculating Polynomial Runtime Properties Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei and Beatrice Luca
Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems
Parameterized Partial Evaluation * Charles Consel Siau Cheng Khoo
Mining and Ranking Generators of Sequential Patterns Siau-Cheng Khoo
Specialization for Applications Using Shared Libraries Ping Zhu Siau-Cheng Khoo
Mining Temporal Rules from Program Execution Traces and Siau-Cheng Khoo
Software Specification Discovery : A New Data Mining Approach David Lo and Siau-Cheng Khoo
Efficient Mining of Iterative Patterns for Software Specification Discovery
Towards Constructing Reusable Specialization Components Ping Zhu Siau-Cheng Khoo
SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner
Fundamenta Informaticae XX (2005) 137 1 Redundant Call Elimination via Tupling
Program Transformation by Solving Recurrences Beatrice Luca Stefan Andrei Hugh Anderson Siau-Cheng Khoo
A Lazy Divide & Conquer Approach to Constraint Solving Saswat Anand WeiNgan Chin SiauCheng Khoo
Online & Offline Partial Evaluation: Semantic Specifications and Correctness Proofs \Lambda
The Journal of Functional and Logic Programming
OutputConstraint Specialization SiauCheng Khoo and Kun Shi
T H E N A T I O N A L U N I V E R S I T Y of S I N G A P O R E
A TypeBased Approach to Parallelization Dana N. Xu # SiauCheng Khoo # WeiNgan Chin # Zhenjiang Hu +
Program Adaptation via Output-Constraint Specialization
Parameterized Partial Evaluation CHARLES CONSEL and SIAU CHENG KHOO
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Compiling Real Time Functional Reactive Programming Dana N. Xu and SiauCheng Khoo
Compiling Inheritance using Partial Evaluation * Siau Cheng Khoo R.S. Sundaresh
Mining Modal Scenarios from Execution Traces (poster abstract)
T H E N A T I O N A L U N I V E R S I T Y o f S I N G A P O R E
QUARK: Empirical Assessment of Automaton-based Specification Miners David Lo and Siau-Cheng Khoo
Efficient Mining of Recurrent Rules from a Sequence Database
