Research articles and conferences

Software verification

Fault Injection Simulation

Parallel Programming with OCaml (BSML)