| 2009 |
|---|
| 11 | EE | Dana N. Xu,
Simon L. Peyton Jones,
Koen Claessen:
Static contract checking for Haskell.
POPL 2009: 41-52 |
| 2008 |
|---|
| 10 | EE | Corneliu Popeea,
Dana N. Xu,
Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination.
PEPM 2008: 177-187 |
| 2006 |
|---|
| 9 | EE | Dana N. Xu:
Extended static checking for haskell.
Haskell 2006: 48-59 |
| 2004 |
|---|
| 8 | EE | Dana N. Xu,
Siau-Cheng Khoo,
Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector.
APLAS 2004: 197-212 |
| 2003 |
|---|
| 7 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Extending sized type with collection analysis.
PEPM 2003: 75-84 |
| 2002 |
|---|
| 6 | | Dana N. Xu,
Siau-Cheng Khoo,
Wei-Ngan Chin,
Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report).
APLAS 2002: 175-192 |
| 5 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Extending Sized Type with Collection Analysis.
APLAS 2002: 396-413 |
| 4 | EE | Dana N. Xu,
Siau-Cheng Khoo:
Compiling real time functional reactive programming.
ASIA-PEPM 2002: 83-93 |
| 2001 |
|---|
| 3 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Higher-Order Polymorphic Sized Types for Safety Checks.
APLAS 2001: 117-131 |
| 2 | EE | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Deriving Pre-conditions for Array Bound Check Elimination.
PADO 2001: 2-24 |
| 2000 |
|---|
| 1 | | Wei-Ngan Chin,
Siau-Cheng Khoo,
Dana N. Xu:
Deriving Pre-Conditions for Array Bound Check Elimination.
APLAS 2000: 9-21 |
