Retrofitting Parallelism onto OCaml
A new runtime for OCaml is being developed these days which will have better multicore support. In the talk we will discuss requirement for new runtime and technical decisions used to follow these requirements.
Paper: Retrofitting Parallelism onto OCaml (ICFP 2020) https://arxiv.org/pdf/2004.11663.pdf
21 September 2020Persistency Semantics for Verification under Ext4
14 September 2020Higher-Order Logic Programming
25 May 2020Retrofitting Parallelism onto OCaml
18 May 2020Heap Reference Compression in GraalVM Native Image
27 April 2020The expressive power of higher-order types and non-determinism