Matthieu Lemerre
@mattthieulemerre.bsky.social
Researcher at CEA LIST, working on abstract interpretation of systems language
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.
PLDI’25
A library to write abstract interpreters in OCaml.
codex.top
June 13, 2025 at 4:09 PM
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.