OUPS Janvier 2023

Le prochain OUPS aura lieu le jeudi 19 janvier 2023. Le rendez-vous est fixé à 19h au 45 rue d'Ulm (attention changement de lieu).
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 :

Analyse statique par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs -- Milla Valnet

Afin de prévenir les erreurs de programmation, des analyseurs statiques ont été développés pour de nombreux langages ; cependant, aucun analyseur mature ne cible l’analyse de valeurs pour un langage fonctionnel à la ML. On décrira ici un analyseur statique de valeurs par interprétation abstraite pour un langage fonctionnel typé du premier ordre, approche sûre et automatique pour garantir l’absence d’erreurs à l’exécution. Cette approche nous permet d’analyser des fonctions récursives manipulant des types algébriques récursifs et d’inférer dans un domaine abstrait leur relation entrée-sortie. Une implémentation est en cours sur la plateforme MOPSA et analyse avec succès de courts programmes de quelques lignes. Ce travail ouvre ainsi la voie vers une analyse de valeurs précise et relationnelle basée sur l’interprétation abstraite pour les langages fonctionnels d’ordre supérieur à la ML.

Yocaml -- Xavier Van de Woestyne
YOCaml est un générateur de blog statique (un projet relativement peu original en OCaml) qui a été développé pour tester certaines abstractions proposées par la bibliothèque Preface.
Il est relativement peu pragmatique, partiellement mal documenté et ne dispose d'aucune stratégie de mise en cache efficace. Cependant, sa genèse est amusante (et tâche d'utiliser des outils peu présents dans le monde de OCaml) et certaines contributions extérieures ont permis de le rendre assez explicitement couplable avec MirageOS.
Dans cette présentation, je vous propose de découvrir son fonctionnement général, quelques choix de design et un bref tutoriel sur comment l'utiliser.

---

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