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.