The next OUPS meetup will take place on Wednesday, 25th of February 2026. It will start at 6:30pm at the 4 place Jussieu in Paris. It will be in the in the Esclangon building (amphi Astier).
Please, register on meetup as soon as possible to let us know how many pizza we should order.
For more details, you may check the OUPS’ website .
Moreover, we’d like to announce that the organizing team moved to the OCaml Zulip. Feel free to contact us there if you’d like to suggest talks.
This time we’ll have the following talks:
Coccinelle, for C and for Rust – Julia Lawall
Résumé
Coccinelle is a tool for automating complex repetitive searches and transformations in source code. It was originally developed for the C language, targetting the Linux kernel, but we have recently started working on Rust. This talk will give an overview of Coccinelle targeting C, present the main design decisions and how they translate to Rust, and present some practical examples involving Rust. Both versions of Coccinelle are available in open source.
https://coccinelle.gitlabpages.inria.fr/website
https://rust-for-linux.com/coccinelle-for-rust
OCaml and the MOPSA static analysis platform – Marco Milanese
Résumé
In this talk we present MOPSA, a static analysis platform built in OCaml: MOPSA implements a sound analysis (based on the theory of abstract interpretation), with an emphasis on reusability and modularity of abstractions.
To this end each domain performs a simple, targeted, simplification of the program and it can be swapped or combined with other domains to tune the precision/performance tradeoff of the analysis.
OCaml and its type and module systems play a crucial role to achieve this goal.. we will see how monads, modules and abstract data types (and more!) naturally describe the components of a static analysis tool.
After the talks there will be some pizzas offered by the OCaml Software Foundation and later on we’ll move to a pub nearby as usual.