Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Thu 22 Aug 2019 17:15 - 17:40 at Pine - Session 5 Chair(s): Edwin Brady

The presentation will cover a new OCaml persistent-on-disk key-value store library. The library uses a B-tree library introduced at OCaml’17. The B-tree code has been extensively reworked to make it fast, and to support both copy-on-write and mutate-in-place operations. On top of this core, we include a write-ahead log, session initialization and termination, and extensive LRU-style caching. The API supports various “sync” operations, analogous to those found in filesystems.

Preprint (ml2019-paper15.pdf)278KiB

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:50 - 18:15: Session 5ML at Pine
Chair(s): Edwin BradyUniversity of St. Andrews, UK
16:50 - 17:15
Compiling Successor ML Pattern Guards
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
17:15 - 17:40
A Key-Value store for OCaml
Tom RidgeUniversity of Leicester, UK
File Attached
17:40 - 18:05
Towards Machine Learning Induction in Poly/ML
Yutaka NagashimaData61, Australia
File Attached