Siau-Cheng Khoo

	2011
69		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
68		Chengnian Sun, David Lo, Siau-Cheng Khoo, Jing Jiang: Towards more accurate retrieval of duplicate bug reports. ASE 2011: 253-262
67		Anh Cuong Nguyen, Siau-Cheng Khoo: Extracting Significant Specifications from Mining through Mutation Testing. ICFEM 2011: 472-488
66		Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Mining message sequence graphs. ICSE 2011: 91-100
65		Chengnian Sun, Siau-Cheng Khoo, Shao Jie Zhang: Graph-based detection of library API imitations. ICSM 2011: 183-192
64		Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop: NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. RV 2011: 115-130
63		Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo: Side-effect localization for lazy, purely functional languages via aspects. Higher-Order and Symbolic Computation 24(1-2): 151-189 (2011)
62		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)
	2010
61		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
60		Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo: LM: a miner for scenario-based specifications. ICSE (2) 2010: 319-320
59		Hugh Anderson, Siau-Cheng Khoo: Regular approximation and bounded domains for size-change termination. PEPM 2010: 53-62
58		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)
	2009
57		Bolin Ding, David Lo, Jiawei Han, Siau-Cheng Khoo: Efficient Mining of Closed Repetitive Gapped Subsequences from a Sequence Database. ICDE 2009: 1024-1035
56		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
55		Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo: Designing aspects for side-effect localization. PEPM 2009: 189-198
54		Hugh Anderson, Siau-Cheng Khoo: Improving Responsiveness of Hard Real-Time Embedded Systems. TASE 2009: 13-20
53		David Lo, Siau-Cheng Khoo, Limsoon Wong: Non-redundant sequential rules - Theory and algorithm. Inf. Syst. 34(4-5): 438-453 (2009)
	2008
52		David Lo, Siau-Cheng Khoo, Chao Liu: Efficient Mining of Recurrent Rules from a Sequence Database. DASFAA 2008: 67-83
51		Ping Zhu, Siau-Cheng Khoo: Specialization for applications using shared libraries. PEPM 2008: 159-168
50		David Lo, Siau-Cheng Khoo, Jinyan Li: Mining and Ranking Generators of Sequential Patterns. SDM 2008: 553-564
49		David Lo, Siau-Cheng Khoo, Chao Liu: Mining past-time temporal rules from execution traces. WODA 2008: 50-56
48		David Lo, Siau-Cheng Khoo, Chao Liu: Mining temporal rules for software maintenance. Journal of Software Maintenance 20(4): 227-247 (2008)
47		David Lo, Siau-Cheng Khoo: Mining patterns and rules for software specification discovery. PVLDB 1(2): 1609-1616 (2008)
	2007
46		David Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenario-based specifications from execution traces of reactive systems. ASE 2007: 465-468
45		David Lo, Siau-Cheng Khoo, Chao Liu: Efficient mining of iterative patterns for software specification discovery. KDD 2007: 460-469
44		David Lo, Shahar Maoz, Siau-Cheng Khoo: Mining modal scenarios from execution traces. OOPSLA Companion 2007: 777-778
43		Ping Zhu, Siau-Cheng Khoo: Towards constructing reusable specialization components. PEPM 2007: 154-163
42		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
41		Hugh Anderson, Siau-Cheng Khoo, Yijie Liu: A Tool for Calculating Exponential Run-Time Properties. SYNASC 2007: 25-32
	2006
40		Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
39		Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129
38		Meng Wang, Kung Chen, Siau-Cheng Khoo: Type-directed weaving of aspects for higher-order functional languages. PEPM 2006: 78-87
37		David Lo, Siau-Cheng Khoo: SMArTIC: towards building an accurate, robust and scalable specification miner. SIGSOFT FSE 2006: 265-275
36		David Lo, Siau-Cheng Khoo: QUARK: Empirical Assessment of Automaton-based Specification Miners. WCRE 2006: 51-60
35		Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones: Redundant Call Elimination via Tupling. Fundam. Inform. 69(1-2): 1-37 (2006)
	2005
34		Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246
33		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
32		Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu: PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212
31		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
30		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
29		Siau-Cheng Khoo, Kun Shi: Program Adaptation via Output-Constraint Specialization. Higher-Order and Symbolic Computation 17(1-2): 93-128 (2004)
	2003
28		Hugh Anderson, Siau-Cheng Khoo: Affine-Based Size-Change Termination. APLAS 2003: 122-140
27		Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending sized type with collection analysis. PEPM 2003: 75-84
	2002
26		Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
25		Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending Sized Type with Collection Analysis. APLAS 2002: 396-413
24		Siau-Cheng Khoo, Kun Shi: Output-constraint specialization. ASIA-PEPM 2002: 106-116
23		Dana N. Xu, Siau-Cheng Khoo: Compiling real time functional reactive programming. ASIA-PEPM 2002: 83-93
22		Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91-
	2001
21		Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131
20		Saswat Anand, Siau-Cheng Khoo: Efficient Interpretation of Chart Pattern Language. APLAS 2001: 39-48
19		Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: Charting Patterns on Price History. ICFP 2001: 134-145
18		Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-conditions for Array Bound Check Elimination. PADO 2001: 2-24
17		Wei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001)
	2000
16		Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21
15		Wei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. PEPM 2000: 62-72
14		Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
	1999
13		Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo: Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130
	1998
12		Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee: Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89
	1996
11		Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
10		Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Program Specializations. Journal of Functional and Logic Programming 1996(4): (1996)
	1995
9		Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Deforestation (Extended Abstract) PLILP 1995: 223-240
8		Charles Consel, Siau-Cheng Khoo: On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. J. Funct. Program. 5(4): 461-500 (1995)
	1993
7		Wei-Ngan Chin, Siau-Cheng Khoo: Tupling Functions with Multiple Recursion Parameters. WSA 1993: 124-140
6		Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. ACM Trans. Program. Lang. Syst. 15(3): 463-493 (1993)
5		Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. Sci. Comput. Program. 21(3): 263-291 (1993)
	1991
4		Charles Consel, Siau-Cheng Khoo: Evaluation partielle paramétrable. JTASPEFT/WSA 1991: 72-81
3		Siau-Cheng Khoo, R. S. Sundaresh: Compiling Inheritance using Partial Evaluation. PEPM 1991: 211-222
2		Charles Consel, Siau-Cheng Khoo: Parameterized Partial Evaluation. PLDI 1991: 92-106
1		Charles Consel, Siau-Cheng Khoo: Semantics-Directed Generation of a Prolog Compiler. PLILP 1991: 135-146

Coauthor Index

1	Saswat Anand	[19] [20] [22]
2	Hugh Anderson	[28] [34] [39] [41] [54] [59]
3	Stefan Andrei	[34] [39]
4	Chung-Hsin Chen	[42] [58]
5	Kung Chen	[38] [42] [55] [58] [63]
6	Hong Cheng	[56]
7	Wei-Ngan Chin	[7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [25] [26] [27] [33] [35] [40]
8	Charles Consel	[1] [2] [4] [5] [6] [8]
9	Florin Craciun	[40]
10	Bolin Ding	[57]
11	Tuan-Anh Doan	[60]
12	Aik-Hui Goh	[13]
13	Jiawei Han	[56] [57]
14	Zhenjiang Hu	[14] [26] [32]
15	Jing Jiang	[61] [68]
16	Neil Jones	[35]
17	Sandeep Kumar	[66]
18	Tat-Wee Lee	[12]
19	Wee Kheng Leow	[30] [31]
20	Jinyan Li	[50] [62]
21	Jia-Yin Lin	[55] [63]
22	Yijie Liu	[41]
23	Chao Liu	[45] [48] [49] [52]
24	David Lo	[36] [37] [44] [45] [46] [47] [48] [49] [50] [52] [53] [56] [57] [60] [61] [62] [64] [66] [68]
25	Tiong Hoe Loh	[31]
26	Beatrice Luca	[34] [39]
27	Shahar Maoz	[44] [46] [60]
28	Narcisa Andreea Milea	[64]
29	Anh Cuong Nguyen	[67]
30	Huu Hai Nguyen	[33]
31	Cristian Pop	[64]
32	Corneliu Popeea	[33] [40]
33	Shengchao Qin	[33]
34	Abhik Roychoudhury	[66]
35	Kun Shi	[24] [29]
36	Jeremy G. Siek	[69]
37	Vivy Suhendra	[31]
38	Chengnian Sun	[56] [61] [65] [68]
39	Yi Sun	[30]
40	R. S. Sundaresh	[3]
41	Masato Takeichi	[14]
42	Peter Thiemann	[11]
43	Meng Wang	[38] [42] [58] [63]
44	Xiaoyin Wang	[61]
45	Shu-Chun Weng	[42] [55] [58] [63]
46	Limsoon Wong	[53] [62]
47	Dana N. Xu	[16] [18] [21] [23] [25] [26] [27] [32]
48	Shao Jie Zhang	[65]
49	Ping Zhu	[43] [51]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page