OCaml Workshop 2022

Multicoretests - Parallel Testing Libraries for OCaml 5.0 Jan Midtgaard (Tarides) Olivier Nicole (Tarides) Nicolas Osborne (Tarides) Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it i...

Composing Schedulers using Effect Handlers Deepali Ande (IIT Madras) KC Sivaramakrishnan (IIT Madras and Tarides) OCaml 5 introduces effect handlers as a mechanism for con- current programming. With effect handlers, concurrency can be expre...

Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding Artur Miguel Dias (NOVA University of Lisbon and NOVA LINCS) Simão Melo de Sousa (Universidade da Beira Interior and NOVA LINCS) Antonio Ravara (NOVA L...

Copying opam switches – it should Just Work™ David Allsopp (Tarides UK) OCaml’s ecosystem centres around compilation from source code, rather than precompiled binaries. The compiler itself is only provided as a source distribution and OCaml’...

Highest-performance Stream Processing Oleg Kiselyov (Tohoku University, Japan) Tomoaki Kobayashi (Tohoku University) Aggelos Biboudis (Oracle) Nick Palladinos (Nessos Information Technologies, SA) We present the stream processing library ...

Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml Haochen M. Kotoi-Xie (Kotoi-Xie Consultancy, Inc.) Hirotetsu Hongo (Kotoi-Xie Consultancy, Inc.) Yuta Sato (Kotoi-Xie Consul...

Supporting a decade of opam David Allsopp (Tarides UK) Raja Boujbel (OCamlPro) Kate Deplaix (Tarides UK) Louis Gesbert (OCamlPro) OPAM 1.2 was released in 2014. It was four years before opam 2.0 succeeded it, and another three for opam 2....

Tracing OCaml Programs Darius Foo (National University of Singapore) Wei-Ngan Chin (National University of Singapore) This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the mai...

Homogeneous builds with OBuilder and OCaml Tim McGilchrist (Tarides) David Allsopp (Tarides UK) Patrick Ferris (Tarides) Antonin Décimo (Tarides) Thomas Leonard (Tarides UK) Anil Madhavapeddy (University of Cambridge, UK) Kate Deplaix (Ta...

Memo: an incremental computation library that powers Dune Andrey Mokhov (Jane Street) Arseniy Alekseyev (Jane Street) We present Memo, an incremental computation library that supports a new, faster and more scalable, file-watching build mod...

Efficient “out of heap” pointers for multicore OCaml Guillaume Munch-Maccagnoni (INRIA) This paper reports an experiment with a large pages allocator for the OCaml runtime, with measured performance improvements. A large pages allocator (als...

Stack allocation for OCaml Stephen Dolan (Jane Street) Leo White (Jane Street) Allocating values on a stack instead of the garbage collected heap can improve performance by improving cache locality and avoiding GC pauses. However, it requir...

The upcoming 5.0 release of OCaml includes a new runtime tracing system designed for continuous monitoring of OCaml applications called Runtime Events. It enables very low overhead, programmatic access to performance data emitted by the OCaml runt...