OUPS décembre 2023

Le prochain OUPS aura lieu le jeudi 14 décembre 2023. Le rendez-vous est fixé à 19h au 4 place Jussieu, 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 :

Miou, un simple scheduler pour OCaml 5-- Romain Calascibetta

Miou est un scheduler pour OCaml 5 utilisant les effets nouvellement introduit. Il se concentre sur la disponibilité d'une application au travers d'une politique de gestion des tâches bien décrite. Cette présentation introduira les effets avec OCaml 5 ainsi qu'une rétrospective de son API. Il s'agira ensuite de présenter les spécifités de Miou par rapport aux autres schedulers. Enfin, il y aura la présentation d'un client/serveur HTTP développé selon le design de Miou. La présentation permettra de faire un état des lieux du scheduling en OCaml, des raisons de la multiplicité des solutions ainsi que des objectifs concrets de Miou (implémentation de services, disponibilités des applications, unikernels).

Towards a solution to the expression problem for compilers: strongly typed nano-passes -- Boris Yakobowski

We present a new solution to the problem of (strongly) typing compiler passes when the source and destination language share multiple constructors. We are interested in approaches that limit the amount of boilerplate that needs to be (re)written for each language, while still maintaining a very strict typing discipline. Our solution uses well-known tools, but combine them in a novel way:

• the idea of nanopasses, in which each pass encodes a very limited transformation
• the use of ppx syntax extensions to express only the differences between a language and the next
• the traversal of the AST using top-down and bottom-up recursion schemes
• OCaml polymorphic variants, which are instrumental to precisely type our (non-recursive) transformation functions.

We present our implementation of this approach in the context of the Ada frontend for the Infer analyzer, which as of today contains 28 passes. We will also discuss the various pitfalls we have encountered along the way, as well as possible improvements (in particular deforesting the combination of multiple passes).

***

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