Personne ne participe
À propos de cet événement
Formalisation of interoperability between C and OCaml
👥 Gurvan Debaussart & Valeran Maytié
📅 Tuesday, July 9th, 11am to 1:30pm
📍 room 1Z34 at ENS
The PhD seminar is a monthly lab event open to any non-permanent member of the LMF. PhD students, interns, post-docs, and engineers are all welcome to attend the presentation and lunch.
If you are interested in presenting your work for a future edition, please contact us!
----
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.
----
Organised by Arnaud Golfouse and Paul Patault.
