OCaml Workshop 2022
2022-09-16
Ljubljana, Slovenia
Ljubljana, Slovenia
03 Jun 2022
Abstract submission deadline
15 Jul 2022
Author notification
16 Sep 2022
OCaml Workshop
OCaml Workshop 2022 took place during ICFP 2022, in Ljubljana, Slovenia
ACM Sigplan ICFP page: OCaml Workskop 2022
The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists, and the free software community.
Video recordings will be available on the Sigplan YouTube Channel and on Watch OCaml.
All Presentations
Title | Authors | Resources |
---|---|---|
Composing Schedulers Using Effect Handlers | Deepali Ande, KC Sivaramakrishnan | Link Video |
Continuous Monitoring of OCaml Applications Using Runtime Events | Sadiq Jaffer, Patrick Ferris | Link Video |
Copying opam Switches - It Should Just Work™ | David Allsopp | Video |
Efficient “Out of Heap” Pointers for Multicore OCaml | Guillaume Munch-Maccagnoni | Link Video |
Highest-Performance Stream Processing | Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos | Link Video |
Homogeneous Builds with OBuilder and OCaml | Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, Kate Deplaix | Link Video |
Introducing the Bindoj Library, a Datatype-Centric Generative Programming Library for Real-World Programming in OCaml | Haochen M. Kotoi-Xie, Hirotetsu Hongo, Yuta Sato, Shinya Yamaguchi | Link Video |
Memo: An Incremental Computation Library That Powers Dune | Andrey Mokhov, Arseniy Alekseyev | Link Video |
Multicoretests - Parallel Testing Libraries for OCaml 5.0 | Jan Midtgaard, Olivier Nicole, Nicolas Osborne | Video |
OCamello: A Course and Summer School with Learn-OCaml | Roberto Blanco, Ricardo J. Rodríguez | Link |
OCaml 5.0 - Concurrent and Parallel programming for OCaml | KC Sivaramakrishnan | Link |
Stack Allocation for OCaml | Stephen Dolan, Leo White | Link Video |
Supporting a Decade of Opam | David Allsopp, Raja Boujbel, Kate Deplaix, Louis Gesbert | Video |
Supporting FLAT Concepts in Learn-OCaml: Seeing is Believing; Programming is Understanding | Artur Miguel Dias, Simão Melo de Sousa, Antonio Ravara | Link Video |
Tracing OCaml Programs | Darius Foo, Wei-Ngan Chin | Link Video |
Workshop Details
Program Committee
Matija Pretnar (University of Ljublijana, Solvenia),
Louis Gesbert (OCamlPro, France), Oleg Kiselyov (Tohoku University, Japan),
Daan Leijen (Microsoft Research, USA), Andrey Mokhov (Jane Street, UK),
Benoît Montagu (Inria, France),
Zoe Paraskevopoulou (Northeastern University, USA),
Matija Pretnar (University of Ljubljana, Slovenia),
Gabriel Radanne (Inria, France), Takafumi Saikawa (Nagoya University, Japan),
KC Sivaramakrishnan (IIT Madras and Tarides, India),
Beta Ziliani (FAMAF, UNC and Manas.Tech, Argentina)
Some Videos
Composing Schedulers using Effect Handlers
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...
Continuous Monitoring of OCaml Applications Using Runtime Events
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...
Copying opam switches – it should Just Work™
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’...
Efficient “out of heap” pointers for multicore OCaml
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...
Highest-performance Stream Processing
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 ...
Homogeneous builds with OBuilder and OCaml
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...