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.

• Probabilistic Contracts for Component-based Design (postdoc project at INRIA Grenoble (POPART team))
  • Advised by Gregor Goessler and Alain Girault
• Static Contract Checking for Haskell (Ph.D. project) (POPL'2009)
  • Supervisors: Simon Peyton Jones and Alan Mycroft
• Compiling Morrow to C# (research internship with Daan Leijen at Microsoft Research Redmond)
• ESC/Haskell (HW'2006.ps)
• Arity Analysis (arity.ps)
• DSEL : Abstract Interpretation for Domain Specific Embedded Language (dsel.pdf)
• Formal Automatic Array Bound Checks Elimination for Imperative Program (abce-PEPM08.ps)
• Type Based Approach to Parallelization (MSc thesis (.pdf))
  • Supervisor: Siau-Cheng Khoo
• Extending sized type with collection analysis
• Compiling Real-Time Functional Reactive Programming (RT-FRP) to Automaton (Hons year project)
• Precondition inference for Array Bound Checks Elimination for functional Program (UROP-II project)
• Calculating Sized Types (UROP-I project)

*UROP: Undergraduate Research Opportunity Program

Last modified: 2015-07-22