Dana N. Xu

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Topics

Design Principles

Symbolic Description

Software Engineering

Generative Model

Top Venues

Formal Methods Syst. Des.

Publications

Dana N. Xu
Hybrid contract checking via symbolic simplification. PEPM (2012)
Gregor Gößler, Dana N. Xu, Alain Girault
Probabilistic contracts for component-based design. Formal Methods Syst. Des. 41 (2) (2012)
Dana N. Xu, Gregor Gößler, Alain Girault
Probabilistic Contracts for Component-Based Design. ATVA (2010)
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
Static contract checking for Haskell. POPL (2009)
Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin
A practical and precise inference and specializer for array bound checks elimination. PEPM (2008)
Dana N. Xu
Extended static checking for haskell. Haskell (2006)
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
PType System: A Featherweight Parallelizability Detector. APLAS (2004)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Extending sized type with collection analysis. PEPM (2003)
Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
A Type-Based Approach to Parallelization (preliminary report). APLAS (2002)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Extending Sized Type with Collection Analysis. APLAS (2002)
Dana N. Xu, Siau-Cheng Khoo
Compiling real time functional reactive programming. ASIA-PEPM (2002)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Higher-Order Polymorphic Sized Types for Safety Checks. APLAS (2001)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Deriving Pre-conditions for Array Bound Check Elimination. PADO (2001)
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Deriving Pre-Conditions for Array Bound Check Elimination. APLAS (2000)