Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 08:00 - 08:30 at OCaml - Ecosystem Chair(s): Florian Angeletti
Fri 28 Aug 2020 17:00 - 17:30 at OCaml - Recitation Chair(s): Chris Casinghino

With the availability of multicore variants of the recent OCaml versions (4.10 and 4.11) that maintain backwards compatibility with the existing OCaml C-API, there has been increasing interest in the wider OCaml community for parallelising existing OCaml code. We propose a presentation which will take the attendees through the following steps aimed at developing parallel programs with Multicore OCaml:

  • Installing the latest Multicore OCaml compiler
  • Brief overview of the low-level API for parallel programming
  • A tour of domainslib – a high-level parallel programming library for Multicore OCaml
  • Common pitfalls when parallelising
  • Tools for diagnosing Multicore OCaml performance issues

Conference Day
Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

05:30 - 08:30
EcosystemOCaml at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

05:30
60m
Keynote
The OCaml Platform
OCaml
06:30
30m
Talk
OCaml-CI : A Zero-Configuration CI
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
07:00
30m
Talk
The final pieces of the OCaml documentation puzzle
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
07:30
30m
Talk
API migration: compare transformed
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
08:00
30m
Talk
Parallelising your OCaml Code with Multicore OCaml
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
15:30 - 17:30
RecitationOCaml at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

Repeats Session I for those who weren’t able to attend the earlier time slot.

15:30
30m
Talk
API migration: compare transformed
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
16:00
30m
Talk
OCaml-CI : A Zero-Configuration CI
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
16:30
30m
Talk
The final pieces of the OCaml documentation puzzle
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
17:00
30m
Talk
Parallelising your OCaml Code with Multicore OCaml
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print