ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 09:00 - 09:50 at M1 - OCaml 5.0 Chair(s): Matija Pretnar

OCaml 5.0, the next major release of the OCaml programming language is on the horizon. OCaml 5.0 brings native support for concurrency and parallelism to OCaml. In this talk, I will present the current status of OCaml 5.0, briefly describe the concurrent and parallel programming facilities, and answer common questions that have come from the early adopters. I will also describe the review and merge process that helped land the new features upstream. Finally, I will conclude with some future work to be done in order to make OCaml 5.0 a success for our users.

KC Sivaramakrishnan is an Assistant Professor at the Indian Institute of Technology, Madras, and a Hacker at Tarides. He is interested in the intersection of programming languages and (concurrent, distributed, parallel, operating, secure) systems. He leads the Multicore OCaml project, a concurrent and parallel extension of the OCaml programming language. Multicore OCaml has been merged into OCaml and will be available for general use in OCaml 5.0, the next major release of the OCaml programming language. In the past, KC was a Senior Research Fellow at the University of Cambridge Computer Lab. He obtained his PhD and MS from Purdue University. His awards include the Royal Commission for the Exhibition of 1851 Fellowship, Darwin College Cambridge Research Fellowship, Maurice H. Halstead Memorial Award for outstanding research in software engineering, and distinguished paper awards at ICFP and PADL.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
OCaml 5.0OCaml at M1
Chair(s): Matija Pretnar University of Ljubljana, Slovenia
09:00
50m
Keynote
OCaml 5.0 - Concurrent and Parallel programming for OCaml
OCaml
KC Sivaramakrishnan IIT Madras and Tarides
Media Attached
09:50
20m
Talk
Multicoretests - Parallel Testing Libraries for OCaml 5.0
OCaml
Jan Midtgaard Tarides, Olivier Nicole Tarides, Nicolas Osborne Tarides
10:10
20m
Talk
Composing Schedulers using Effect Handlers
OCaml
Deepali Ande IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides
Pre-print