Matthieu Lemerre

I love it. Coming from C, I feel that it fills exactly what is needed for doing systems programming in OCaml.

If you are assisting #pldi25, looking for a postdoc, research, or engineering position in analysis/compilers, or just want to chat -- feel free to reach out!

These domains work particularly well with programs in SSA form (or when combined with our SSA-based abstract domains). A short, hopefully accessible, summary available here codex.top/papers/2025-....

We are excited to present our new paper at #pldi25! The paper describes a family of ultra-cheap relational abstract domains, that can capture relations between variables such as y = 3 x + b or y = (x rot 3) xor 0xFF, among many others.