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
13 April 2020Model Checking under Weak Memory Models
16 March 2020Duplicate detection via semi-local lcs and sequence alignment
2 March 2020Equality Checking for Structural Data
17 February 2020Promising Semantics 2.0
16 December 2019Graph query optimization using datalog