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.
Papers and reports on HAL.
Citations on Google Scholar.