Skip to content

Research

  • DSL design
  • Automatic analyses of languages (programming or others)
  • Proof of work cryptographic systems
  • Compilation for parallel computers

Papers and reports on HAL.

Citations on Google Scholar.