https://hgpu.org/?p=16999
Profiling High Level Heterogeneous Programs: Using the SPOC GPGPU framework for OCaml