dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Siau-Cheng Khoo (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea: A flow-based approach for variant parametric types. OOPSLA 2006: 273-290
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Neil Jones: Redundant Call Elimination via Tupling. Fundam. Inform. 69(1-2): 1-37 (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending sized type with collection analysis. PEPM 2003: 75-84
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Extending Sized Type with Collection Analysis. APLAS 2002: 396-413
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI 2002: 91-
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Higher-Order Polymorphic Sized Types for Safety Checks. APLAS 2001: 117-131
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo: Charting Patterns on Price History. ICFP 2001: 134-145
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-conditions for Array Bound Check Elimination. PADO 2001: 2-24
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. Higher-Order and Symbolic Computation 14(2-3): 261-300 (2001)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu: Deriving Pre-Conditions for Array Bound Check Elimination. APLAS 2000: 9-21
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo: Calculating Sized Types. PEPM 2000: 62-72
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo: Effective Optimization of Multiple Traversals in Lazy Languages. PEPM 1999: 119-130
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee: Synchronisation Analysis to Stop Tulping. ESOP 1998: 75-89
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann: Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). Dagstuhl Seminar on Partial Evaluation 1996: 33-53
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Program Specializations. Journal of Functional and Logic Programming 1996(4): (1996)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Deforestation (Extended Abstract) PLILP 1995: 223-240
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Ngan Chin, Siau-Cheng Khoo: Tupling Functions with Multiple Recursion Parameters. WSA 1993: 124-140

Selection of 20 from 71 records - Siau-Cheng Khoo has 49 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page