I wrote a blog post on writing a JIT that can handle FFI calls: http://blog.vmchale.com/article/jit http://blog.vmchale.com/article/jit If you want the full mo

I wrote a blog post on writing a JIT that can handle FFI calls: http://blog.vmchale.com/article/jit http://blog.vmchale.com/article/jit If you want the full monty, I think you'll have to read the LLVM documentation on JIT linking: https://llvm.org/docs/JITLink.html https://llvm.org/docs/JITLink.html I haven't found any academic papers or tutorials on JIT linking, unfortunately.