Dana N. Xu

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



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

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)
Click for Paris, France Forecast