Siau-Cheng Khoo

According to our database1, Siau-Cheng Khoo authored at least 82 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Automated mutual induction proof in separation logic.
Formal Asp. Comput., 2019


2018
Automated lemma synthesis in symbolic-heap separation logic.
PACMPL, 2018

2017
Predicting change consistency in a clone group.
Journal of Systems and Software, 2017

GEMS: An Extract Method Refactoring Recommender.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

2016
Automated Mutual Explicit Induction Proof in Separation Logic.
CoRR, 2016

Low-overhead and fully automated statistical debugging with abstraction refinement.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Predicting Consistent Clone Change.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2015
Goal-oriented dynamic test generation.
Information & Software Technology, 2015

2014
Querying sequential software engineering data.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Vector abstraction and concretization for scalable detection of refactorings.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Efficient predicated bug signature mining via hierarchical instrumentation.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Scalable detection of missed cross-function refactorings.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Mining succinct predicated bug signatures.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Mining explicit rules for software process evaluation.
Proceedings of the International Conference on Software and System Process, 2013

Mining Dataflow Sensitive Specifications.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Discovering complete API rules with mutation testing.
Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Semantic patch inference.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Inferring class level specifications for distributed systems.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Mining Iterative Generators and Representative Rules for Software Specification Discovery.
IEEE Trans. Knowl. Data Eng., 2011

Side-effect localization for lazy, purely functional languages via aspects.
Higher-Order and Symbolic Computation, 2011

NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows.
Proceedings of the Runtime Verification - Second International Conference, 2011

Towards more accurate retrieval of duplicate bug reports.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Graph-based detection of library API imitations.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Mining message sequence graphs.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Extracting Significant Specifications from Mining through Mutation Testing.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Type-directed weaving of aspects for polymorphically typed functional languages.
Sci. Comput. Program., 2010

Regular approximation and bounded domains for size-change termination.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

A discriminative model approach for accurate duplicate bug report retrieval.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

LM: a miner for scenario-based specifications.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Non-redundant sequential rules - Theory and algorithm.
Inf. Syst., 2009

Improving Responsiveness of Hard Real-Time Embedded Systems.
Proceedings of the TASE 2009, 2009

Designing aspects for side-effect localization.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Classification of software behaviors for failure detection: a discriminative pattern mining approach.
Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28, 2009

Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database.
Proceedings of the 25th International Conference on Data Engineering, 2009

2008
Mining temporal rules for software maintenance.
Journal of Software Maintenance, 2008

Mining patterns and rules for software specification discovery.
PVLDB, 2008

Mining and Ranking Generators of Sequential Patterns.
Proceedings of the SIAM International Conference on Data Mining, 2008

Specialization for applications using shared libraries.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Mining past-time temporal rules from execution traces.
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

Efficient Mining of Recurrent Rules from a Sequence Database.
Proceedings of the Database Systems for Advanced Applications, 2008

2007
A Tool for Calculating Exponential Run-Time Properties.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Towards constructing reusable specialization components.
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Mining modal scenarios from execution traces.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Efficient mining of iterative patterns for software specification discovery.
Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2007

Mining modal scenario-based specifications from execution traces of reactive systems.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
Redundant Call Elimination via Tupling.
Fundam. Inform., 2006

QUARK: Empirical Assessment of Automaton-based Specification Miners.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

SMArTIC: towards building an accurate, robust and scalable specification miner.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Type-directed weaving of aspects for higher-order functional languages.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Program transformation by solving recurrences.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

A flow-based approach for variant parametric types.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Verifying safety policies with size properties and alias controls.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Calculating Polynomial Runtime Properties.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Program Adaptation via Output-Constraint Specialization.
Higher-Order and Symbolic Computation, 2004

Heuristic Search with Reachability Tests for Automated Generation of Test Programs.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

PType System: A Featherweight Parallelizability Detector.
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003
Extending sized type with collection analysis.
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Affine-Based Size-Change Termination.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
Compiling real time functional reactive programming.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Output-constraint specialization.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

A Lazy Divide and Conquer Approach to Constraint Solving.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

A Type-Based Approach to Parallelization (preliminary report).
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001
Calculating Sized Types.
Higher-Order and Symbolic Computation, 2001

Charting Patterns on Price History.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Higher-Order Polymorphic Sized Types for Safety Checks.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

Efficient Interpretation of Chart Pattern Language.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000
Deriving Parallel Codes via Invariants.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Deriving Pre-Conditions for Array Bound Check Elimination.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999
Effective Optimization of Multiple Traversals in Lazy Languages.
Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

1998
Synchronisation Analysis to Stop Tulping.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1996
Better Consumers for Program Specializations.
Journal of Functional and Logic Programming, 1996

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).
Proceedings of the Partial Evaluation, International Seminar, 1996

1995
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs.
J. Funct. Program., 1995

Better Consumers for Deforestation (Extended Abstract)
Proceedings of the Programming Languages: Implementations, 1995

1993
Parameterized Partial Evaluation.
ACM Trans. Program. Lang. Syst., 1993

Semantics-Directed Generation of a Prolog Compiler.
Sci. Comput. Program., 1993

Tupling Functions with Multiple Recursion Parameters.
Proceedings of the Static Analysis, Third International Workshop, 1993

1991
Evaluation partielle paramétrable.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Compiling Inheritance using Partial Evaluation.
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991


  Loading...