Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C Lundi 21 janvier, 10h30 ------------- Frédéric Bour ------------- Facebook ================================== CAMLroot: revisiting the OCaml FFI ================================== 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.