LLIR-OPT is a low-level post-link optimiser for C and OCaml.

Publications

Duplo: A Framework for OCaml Post-Link Optimisation https://dl.acm.org/doi/10.1145/3408980