Detecting incorrect build rules. - Nándor Licker; Andrew Rice (ICSE, 2019)

Duplo: a framework for OCaml post-link optimisation. - Nándor Licker; Timothy M. Jones 001 (Proc. ACM Program. Lang., 2020)