Le statut de votre participation est enregistré uniquement sur cet appareil et sera supprimé un mois après la fin de l'événement.
Vous pouvez effacer toutes les informations de participation pour cet appareil avec les boutons ci-dessous.
Personne ne participe
Partager l'événement
Ajouter à mon agenda
Signaler cet événement
Le signalement sera envoyé aux modérateur·ices de votre instance. Vous pouvez expliquer pourquoi vous signalez ce contenu ci-dessous.
Le contenu provient d'une autre instance. Transférer une copie anonyme du signalement ?
Partager l'événement
URL copiée dans le presse-papiers
Choisissez une identité
Confirmation de votre participation
L'organisateur·ice de l'événement a choisi de valider manuellement les demandes de participation. Voulez-vous ajouter un petit message pour expliquer pourquoi vous souhaitez participer à cet événement ?
À propos de cet événement
Gurvan Debaussart & Valeran Maytié
Formalisation of interoperability between C and OCaml
Programming languages are designed with different goals. They are often complimentary, and can each be efficient for their own subset of problems. In practice, we would like to be able to mix them together. To do so, languages have to expose a way to communicate to each other, called FFI (Foreign Function Interface). Languages often have different memory models. To guarantee safety, very strict rules have to be enforced. We focus on interoperability between OCaml and C, and how formal methods can be used to guarantee the correct use of its rules.
