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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:50 - 18:15
Session 5ML at Pine
Chair(s): Edwin Brady University of St. Andrews, UK
16:50
25m
Talk
Compiling Successor ML Pattern Guards
ML
John Reppy University of Chicago, Mona Zahir University of Chicago
Pre-print
17:15
25m
Talk
A Key-Value store for OCaml
ML
Tom Ridge University of Leicester, UK
File Attached
17:40
25m
Talk
Towards Machine Learning Induction in Poly/ML
ML
Yutaka Nagashima Data61, Australia
File Attached