Matthieu Lemerre
@mattthieulemerre.bsky.social
Researcher at CEA LIST, working on abstract interpretation of systems language
I love it. Coming from C, I feel that it fills exactly what is needed for doing systems programming in OCaml.
June 13, 2025 at 4:32 PM
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!
June 13, 2025 at 4:09 PM
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-....
PLDI’25
A library to write abstract interpreters in OCaml.
codex.top
June 13, 2025 at 4:09 PM
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-....