OCaml Users in PariS (OUPS)

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 :

Coccinelle, for C and for Rust -- Julia Lawall

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

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.

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