Dana N. Xu

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