Home Publications Talks Past Projects Teaching Hobbies

Dana N. Xu

Research Scientist (Chargé de Recherche, junior) of Gallium Team at INRIA Paris - Rocquencourt, a French National Research Institute.
To:

News

• Hybrid Contract Checking for OCaml
• on extended leave now, working away from Europe. www.cas.cn Job application flow chart is not available at all research centers.
• I am in Beijing.

Thesis

• Dana N. Xu's Ph.D. Thesis:
  Static contract checking for Haskell (.ps, .pdf)

  Supported by Microsoft Research Scholarship

• Dana N. Xu's Master Thesis:
  A type-based approach to parallelization (.pdf)

Publications from DBLP

Dana N. Xu's publications from the DBLP Bibliography Server (sorted by year)
Note: APLAS2000-2002 are non-refereed workshops (by invitation only). APLAS2003 onwards are refereed symposiums.

Program Verification

• Specification Checking

  1. Dana N. Xu. Hybrid Contract Checking via Symbolic Simplification. ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM), 2012. (.pdf)
  2. Dana N. Xu, Simon Peyton Jones, Koen Claessen. Static Contract Checking for Haskell. In the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2009. (.pdf)
  3. Dana N. Xu. Extended Static Checking for Haskell. In the ACM SIGPLAN Workshop on Haskell (Haskell), 2006. (.pdf)

• Specification Inference

  • For Functional Programs
    1. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. Extending Sized Type with Collection Analysis. In the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM), 2003. (.pdf)
    2. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu. Deriving Pre-conditions for Array Bound Checks Elimination. In the 2nd Symposium on Programs as Data Objects (PADO), 2001. (.pdf)
  • For Imperative Programs
    1. Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin. A Practical and Precise Inference and Specializer for Array Bound Checks Elimination. In the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM), 2008. (.pdf)

Automatic Parallelization

1. Dana N. Xu, Siau-cheng Khoo, Zhenjiang Hu. PType System: A Featherweight Parallelizability. In the 2nd Asian Symposium on Programming Languages and Systems (APLAS), 2004. (.pdf)

Embedded System

1. Gregor Goessler, Dana N. Xu, Alain Girault. Probabilistic Contracts for Component-based Design. In the journal on Formal Methods in System Design (FMSD), 2012. (.pdf)
2. Dana N. Xu, Gregor Goessler, Alain Girault. Probabilistic Contracts for Component-based Design. In the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2010. (atva10.pdf, tech-report.pdf)
3. Dana N. Xu, Siau-Cheng Khoo. Compiling Real-time Functional Reactive Programming to automaton. ASIA-PEPM 2002. (.pdf)

Not yet submitted

1. Daan Leijen, Dana N. Xu. Compiling Morrow to C#. 2008 (Due to MSR rules, it is not available to the public before published.)
2. Dana N. Xu, Simon Peyton Jones. Arity Analysis. 2005 (.pdf)
3. Saswat Anand, Siau-Cheng Khoo, Dana N. Xu, Ping Zhu. The Art of Abstract Interpretation for Domain-Specific Embedded Languages. 2004 (.pdf)

Last modified: 2015-07-22