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
26 October 2020Representability of invariants of programs with algebraic data type
19 October 2020Step-indexing semantics of recursive types
12 October 2020Incorrectness Logic
5 October 2020Development of domain-specific compilers for specialized processors
28 September 2020Slightly subcubic algorithm for the context-free language reachability (CFL-reachability) problem