Siau-Cheng Khoo

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Discovering complete API rules with mutation testing.

[BibT_eX]

[DOI]

Anh Cuong Nguyen

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Semantic patch inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Inferring class level specifications for distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Mining Iterative Generators and Representative Rules for Software Specification Discovery.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

Side-effect localization for lazy, purely functional languages via aspects.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2011

NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows.

[BibT_eX]

[DOI]

Narcisa Andreea Milea

Cristian Pop

Proceedings of the Runtime Verification - Second International Conference, 2011

Towards more accurate retrieval of duplicate bug reports.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Graph-based detection of library API imitations.

[BibT_eX]

[DOI]

Chengnian Sun

Shao Jie Zhang

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Mining message sequence graphs.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Extracting Significant Specifications from Mining through Mutation Testing.

[BibT_eX]

[DOI]

Anh Cuong Nguyen

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Type-directed weaving of aspects for polymorphically typed functional languages.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Regular approximation and bounded domains for size-change termination.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

A discriminative model approach for accurate duplicate bug report retrieval.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

LM: a miner for scenario-based specifications.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Non-redundant sequential rules - Theory and algorithm.

[BibT_eX]

[DOI]

Limsoon Wong

Inf. Syst., 2009

Improving Responsiveness of Hard Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Designing aspects for side-effect localization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Data Engineering, 2009

2008

Mining temporal rules for software maintenance.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2008

Mining patterns and rules for software specification discovery.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

Mining and Ranking Generators of Sequential Patterns.

[BibT_eX]

[DOI]

Jinyan Li

Proceedings of the SIAM International Conference on Data Mining, 2008

Specialization for applications using shared libraries.

[BibT_eX]

[DOI]

Ping Zhu

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Mining past-time temporal rules from execution traces.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2008

2007

A Tool for Calculating Exponential Run-Time Properties.

[BibT_eX]

[DOI]

Yijie Liu

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.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Towards constructing reusable specialization components.

[BibT_eX]

[DOI]

Ping Zhu

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Mining modal scenarios from execution traces.

[BibT_eX]

[DOI]

Shahar Maoz

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shahar Maoz

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Redundant Call Elimination via Tupling.

[BibT_eX]

[DOI]

Neil D. Jones

Fundam. Informaticae, 2006

QUARK: Empirical Assessment of Automaton-based Specification Miners.

[BibT_eX]

[DOI]

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

SMArTIC: towards building an accurate, robust and scalable specification miner.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Type-directed weaving of aspects for higher-order functional languages.

[BibT_eX]

[DOI]

Meng Wang

Kung Chen

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Program transformation by solving recurrences.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

A flow-based approach for variant parametric types.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Verifying safety policies with size properties and alias controls.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Calculating Polynomial Runtime Properties.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Program Adaptation via Output-Constraint Specialization.

[BibT_eX]

[DOI]

Kun Shi

High. Order Symb. Comput., 2004

Heuristic Search with Reachability Tests for Automated Generation of Test Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Wee Kheng Leow

Yi Sun

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

PType System: A Featherweight Parallelizability Detector.

[BibT_eX]

[DOI]

Zhenjiang Hu

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Affine-Based Size-Change Termination.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Compiling real time functional reactive programming.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

Output-constraint specialization.

[BibT_eX]

[DOI]

Kun Shi

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

A Lazy Divide and Conquer Approach to Constraint Solving.

[BibT_eX]

[DOI]

Saswat Anand

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

A Type-Based Approach to Parallelization (preliminary report).

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Extending Sized Type with Collection Analysis.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Calculating Sized Types.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2001

Charting Patterns on Price History.

[BibT_eX]

[DOI]

Saswat Anand

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Higher-Order Polymorphic Sized Types for Safety Checks.

[BibT_eX]

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

Efficient Interpretation of Chart Pattern Language.

[BibT_eX]

Saswat Anand

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Deriving Parallel Codes via Invariants.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Deriving Pre-Conditions for Array Bound Check Elimination.

[BibT_eX]

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Effective Optimization of Multiple Traversals in Lazy Languages.

[BibT_eX]

Aik-Hui Goh

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

1998

Synchronisation Analysis to Stop Tulping.

[BibT_eX]

[DOI]

Tat-Wee Lee

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.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 1996

Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract).

[BibT_eX]

[DOI]