1. www.comp.nus.edu.sg/~specmine
ˇ Graph-based detection of library API imitations. Joint work with Chengnian Sun and Shao Jie Zhang: ICSM 2011: 183-192
ˇ
Querying Sequential Software Engineering Data. Joint work with Chengnian
Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang and Dongmei Zhang: FSE
2014: 700-710
ˇ Efficient predicated bug signature mining via hierarchical instrumentation. Joint work with Zhiqiang Zuo and Chengnian Sun: ISSTA 2014: 215-224
ˇ
Mining succinct
predicated bug signatures. Joint work with Chengnian Sun: ESEC/SIGSOFT FSE 2013: 576-586
ˇ Towards more accurate retrieval of duplicate bug reports. Joint work with Chengnian Sun, David Lo and Jing Jiang: ASE 2011: 253-262
ˇ
A discriminative
model approach for accurate duplicate bug report retrieval. Joint work
with Chengnian Sun, David Lo, Xiaoyin Wang and Jing Jiang: ICSE (1) 2010: 45-54
ˇ
Classification of software behaviors for failure
detection: a discriminative pattern mining approach.
Joint work with David
Lo, Hong
Cheng, Jiawei
Han and Chengnian
Sun: KDD
2009: 557-566
ˇ NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. Joint work with Narcisa Andreea Milea, David Lo and Cristian Pop: RV 2011: 115-130
ˇ Mining Dataflow Sensitive Specifications. Joint work with Zhiqiang Zuo: ICFEM 2013: 36-52
ˇ Mining explicit rules for software process evaluation. Joint work with Chengnian Sun, Jing Du, Ning Chen and Ye Yang: ICSSP 2013: 118-125
ˇ Inferring class level specifications for distributed systems. Joint work with Sandeep Kumar, Abhik Roychoudhury and David Lo: ICSE 2012: 914-924
ˇ Semantic patch inference. Joint work with Jesper Andersen, Anh Cuong Nguyen, David Lo and Julia L. Lawall: ASE 2012: 382-385
ˇ Discovering complete API rules with mutation testing. Joint work with Anh Cuong Nguyen: MSR 2012: 151-160
ˇ Mining Iterative Generators and Representative Rules for Software Specification Discovery. Joint work with David Lo, Jinyan Li and Limsoon Wong: IEEE Trans. Knowl. Data Eng. 23(2): 282-296 (2011)
ˇ Extracting Significant Specifications from Mining through Mutation Testing. Joint work with Anh Cuong Nguyen: ICFEM 2011: 472-488
ˇ Mining message sequence graphs. Joint work with Sandeep Kumar, Abhik Roychoudhury and David Lo: ICSE 2011: 91-100
ˇ LM: a miner for scenario-based specifications. Joint work with Tuan-Anh Doan, David Lo and Shahar Maoz: ICSE (2) 2010: 319-320
ˇ Non-redundant sequential rules - Theory and algorithm. Joint work with David Lo and Limsoon Wong: Inf. Syst. 34(4-5): 438-453 (2009)
ˇ Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. Joint work with Bolin Ding, David Lo and Jiawei Han: ICDE 2009: 1024-1035
ˇ Mining patterns and rules for software specification discovery. Joint work with David Lo: PVLDB 1(2): 1609-1616 (2008)
ˇ Mining temporal rules for software maintenance. Joint work with David Lo and Chao Liu: Journal of Software Maintenance 20(4): 227-247 (2008)
ˇ Efficient Mining of Recurrent Rules from a Sequence Database. Joint work with David Lo and Chao Liu: DASFAA 2008: 67-83
ˇ Mining past-time temporal rules from execution traces. Joint work with David Lo and Chao Liu: WODA 2008: 50-56
ˇ Mining and Ranking Generators of Sequential Patterns. Joint work with David Lo and Jinyan Li: SDM 2008: 553-564
ˇ Mining modal scenario-based specifications from execution traces of reactive systems. Joint work with David Lo and Shahar Maoz: ASE 2007: 465-468
ˇ Efficient mining of iterative patterns for software specification discovery. Joint work with David Lo and Chao Liu: KDD 2007: 460-469
ˇ Mining modal scenarios from execution traces. Joint work with David Lo and Shahar Maoz: OOPSLA Companion 2007: 777-778
ˇ SMArTIC: towards building an accurate, robust and scalable specification miner. Joint work with David Lo: SIGSOFT FSE 2006: 265-275
ˇ QUARK: Empirical Assessment of Automaton-based Specification Miners. Joint work with David Lo: WCRE 2006: 51-60
ˇ Type-directed weaving of aspects for polymorphically typed functional languages. Joint work with Kung Chen, Shu-Chun Weng, Meng Wang and Chung-Hsin Chen: Sci. Comput. Program. 75(11): 1048-1076 (2010)
ˇ Designing aspects for side-effect localization. Joint work with Kung Chen, Jia-Yin Lin and Shu-Chun Weng: PEPM 2009: 189-198
ˇ A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. Joint work with Kung Chen, Shu-Chun Weng, Meng Wang and Chung-Hsin Chen: SAS 2007: 34-51
ˇ Type-directed weaving of aspects for higher-order functional languages. Joint work with Meng Wang and Kung Chen: PEPM 2006: 78-87
ˇ A Lazy Divide and Conquer Approach to Constraint Solving. Joint work with Saswat Anand and Wei-Ngan Chin: ICTAI 2002: 91-
ˇ Compiling real time functional reactive programming. Joint work with Dana N. Xu: ASIA-PEPM 2002: 83-93
ˇ Efficient Interpretation of Chart Pattern Language. Joint work with Saswat Anand: APLAS 2001: 39-48
ˇ Charting Patterns on Price History. Joint work with Saswat Anand and Wei-Ngan Chin: ICFP 2001: 134-145
ˇ Regular approximation and bounded domains for size-change termination. Joint work with Hugh Anderson: PEPM 2010: 53-62
ˇ Improving Responsiveness of Hard Real-Time Embedded Systems. Joint work with Hugh Anderson: TASE 2009: 13-20
ˇ A Tool for Calculating Exponential Run-Time Properties. Joint work with Hugh Anderson and Yijie Liu: SYNASC 2007: 25-32
ˇ A flow-based approach for variant parametric types. Joint work with Wei-Ngan Chin, Florin Craciun and Corneliu Popeea: OOPSLA 2006: 273-290
ˇ Calculating Polynomial Runtime Properties. Joint work with Hugh Anderson, Stefan Andrei and Beatrice Luca: APLAS 2005: 230-246
ˇ Verifying safety policies with size properties and alias controls. Joint work with Wei-Ngan Chin, Shengchao Qin, Corneliu Popeea and Huu Hai Nguyen: ICSE 2005: 186-195
ˇ PType System: A Featherweight Parallelizability Detector. Joint work with Dana N. Xu and Zhenjiang Hu: APLAS 2004: 197-212
ˇ Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases. Joint work with Wee Kheng Leow and Yi Sun: ICSE 2004: 96-105
ˇ Heuristic Search with Reachability Tests for Automated Generation of Test Programs. Joint work with Wee Kheng Leow, Tiong Hoe Loh and Vivy Suhendra: ASE 2004: 282-285
ˇ Affine-Based Size-Change Termination. Joint work with Hugh Anderson: APLAS 2003: 122-140
ˇ Extending sized type with collection analysis. Joint work with Wei-Ngan Chin and Dana N. Xu: PEPM 2003: 75-84
ˇ A Type-Based Approach to Parallelization (preliminary report). Joint work with Dana N. Xu, Wei-Ngan Chin and Zhenjiang Hu: APLAS 2002: 175-192
ˇ Extending Sized Type with Collection Analysis. Joint work with Wei-Ngan Chin and Dana N. Xu: APLAS 2002: 396-413
ˇ Calculating Sized Types. Joint work with Wei-Ngan Chin: Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001)
ˇ Higher-Order Polymorphic Sized Types for Safety Checks. Joint work with Wei-Ngan Chin and Dana N. Xu: APLAS 2001: 117-131
ˇ Deriving Pre-conditions for Array Bound Check Elimination. Joint work with Wei-Ngan Chin and Dana N. Xu: PADO 2001: 2-24
ˇ Calculating Sized Types. Joint work with Wei-Ngan Chin: PEPM 2000: 62-72
ˇ Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. Edited with Jeremy G. Siek: ACM 2011, ISBN 978-1-4503-0485-6
ˇ Specialization for applications using shared libraries. Joint work with Ping Zhu: PEPM 2008: 159-168
ˇ Towards constructing reusable specialization components. Joint work with Ping Zhu: PEPM 2007: 154-163
ˇ Redundant Call Elimination via Tupling. Joint work with Wei-Ngan Chin and Neil Jones: Fundam. Inform. 69(1-2): 1-37 (2006)
ˇ Program transformation by solving recurrences. Joint work with Beatrice Luca, Stefan Andrei and Hugh Anderson: PEPM 2006: 121-129
ˇ Program Adaptation via Output-Constraint Specialization. Joint work with Kun Shi: Higher-Order and Symbolic Computation 17(1-2): 93-128 (2004)
ˇ Output-constraint specialization. Joint work with Kun Shi: ASIA-PEPM 2002: 106-116
ˇ Deriving Parallel Codes via Invariants. Joint work with Wei-Ngan Chin, Zhenjiang Hu and Masato Takeichi: SAS 2000: 75-94
ˇ Effective Optimization of Multiple Traversals in Lazy Languages. Joint work with Wei-Ngan Chin and Aik-Hui Goh: PEPM 1999: 119-130
ˇ Synchronisation Analysis to Stop Tulping. Joint work with Wei-Ngan Chin and Tat-Wee Lee: ESOP 1998: 75-89
ˇ Better Consumers for Program Specializations. Joint work with Wei-Ngan Chin: Journal of Functional and Logic Programming 1996(4) (1996)
ˇ Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Joint work with Wei-Ngan Chin and Peter Thiemann: Dagstuhl Seminar on Partial Evaluation 1996: 33-53
ˇ On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. Joint work with Charles Consel: J. Funct. Program. 5(4): 461-500 (1995)
ˇ Better Consumers for Deforestation (Extended Abstract). Joint work with Wei-Ngan Chin: PLILP 1995: 223-240
ˇ Semantics-Directed Generation of a Prolog Compiler. Joint work with Charles Consel: Sci. Comput. Program. 21(3): 263-291 (1993)
ˇ Parameterized Partial Evaluation. Joint work with Charles Consel: ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993)
ˇ Tupling Functions with Multiple Recursion Parameters. Joint work with Wei-Ngan Chin: WSA 1993: 124-140
ˇ Compiling Inheritance using Partial Evaluation. Joint work with R. S. Sundaresh: PEPM 1991: 211-222
ˇ Parameterized Partial Evaluation. Joint work with Charles Consel: PLDI 1991: 92-106
ˇ Semantics-Directed Generation of a Prolog Compiler. Joint work with Charles Consel: PLILP 1991: 135-146
ˇ Evaluation partielle paramétrable. Joint work with Charles Consel: JTASPEFT/WSA 1991: 72-81