OUPS Octobre 2023

Le prochain OUPS aura lieu le jeudi 05 octobre 2023. Le rendez-vous est fixé à 19h au 4 place Jussieu en Amphi Astier dans le bâtiment Esclangon.
L'inscription est obligatoire pour pouvoir accéder au meetup !
Les exposés seront également retransmis en ligne sur le galène du OUPS.
Toutes les informations sont disponibles sur le site du OUPS.

Programme :

Chamelon : un minimiseur de programmes pour et en OCaml -- Milla Valnet
Chamelon est un outil développé dans la contexte du compilateur optimisant Flambda2 chez OCamlPro. Il permet, à partir d'un test provoquant une erreur dans la génération de code, de minimiser ce test pour obtenir un test minimaliste, sur lequel il est beaucoup plus facile de travailler. L'exposé présente les différentes techniques utilisées pour concevoir cet outil et les résultats obtenus.

Modern DSL compiler architecture in OCaml our experience with Catala -- Louis Gesbert
In this presentation, we intend to show a state-of-the-art DSL implementation in OCaml, with concrete examples and experience reports.
In particular, we found that some advanced practices, while accepted among the hardcore OCaml developers (e.g. use of row type variables through object types), lacked visibility and documentation: some of them deserve to be better known.
Our experience is based on the Catala compiler, a DSL for the implementation of algorithms defined in law.

***

Les présentations seront suivies par des discussions libres. Les pizzas seront offertes par la fondation OCaml !