Multicoretests - Parallel Testing Libraries for OCaml 5.0 (OCaml 2022 - OCaml Users and Developers Workshop 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Jan Midtgaard, Olivier Nicole, Nicolas Osborne

Track

OCaml 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 16 Sep 2022 09:50 - 10:10 at M1 - OCaml 5.0 Chair(s): Matija Pretnar

Abstract

Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library

Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and provided guarantees and thereby supplement each other.

Jan Midtgaard

Tarides

Denmark

Olivier Nicole

Tarides

Nicolas Osborne

Tarides

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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