Séminaire Gallium - CAMLroot : revisiting the OCaml FFI
- Date : 21/01/2019
- Lieu : 2 rue Simone Iff 75012, Salle JLL1, bât. C - 10h30
- Intervenant(s) : Frédéric Bour
- Organisateur(s) : Equipe Gallium
CAMLroot: revisiting the OCaml FFI
Frédéric Bour, Facebook
The OCaml language comes with an expressive and efficient FFI. However this FFI is also low-level and error-prone. Mistakes can go unnoticed for a long time and cause problems in unrelated places, especially if the state of the runtime is corrupted. In this work, we explore two complementary approaches to mitigate these issues.