1. 5
  1.  

  2. 3

    Final paper is sadly paywalled via Springer. Fortunately, original one is available with their source code available to reverse engineer. Might be some good things to learn for future projects whether it’s Ocaml or another HLL. Here’s the 2011 paper:

    http://forge.ocamlcore.org/docman/view.php/77/138/ocapic-ocamlmeeting-2011.pdf