OCaml

VenueOnline

Room nameOCaml

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

05:30 - 08:30	EcosystemOCaml at OCaml Chair(s): Florian Angeletti Inria Infrastructure, tooling, and ecosystem in general.

05:30 60m Keynote		The OCaml Platform OCaml Anil Madhavapeddy OCaml Labs
06:30 30m Talk		OCaml-CI : A Zero-Configuration CI OCaml Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Kate Deplaix OCaml Labs, Magnus Skjegstad Tarides and OCaml Labs, Anil Madhavapeddy OCaml Labs
07:00 30m Talk		The final pieces of the OCaml documentation puzzle OCaml Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
07:30 30m Talk		API migration: compare transformed OCaml Joseph Harrison University of Kent, UK, Steven Varoumas University of Kent, Simon Thompson University of Kent, Reuben Rowe University College London
08:00 30m Talk		Parallelising your OCaml Code with Multicore OCaml OCaml Sadiq Jaffer Opsian and OCaml Labs, Sudha Parimala IIT Madras, KC Sivaramakrishnan IIT Madras, Tom Kelly OCaml Labs, Anil Madhavapeddy OCaml Labs Pre-print

09:00 - 11:00	ApplicationsOCaml at OCaml Chair(s): Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Talks about new and existing OCaml applications and libraries.

09:00 30m Talk		A Simple State-Machine Framework for Property-Based Testing in OCaml OCaml Jan Midtgaard University of Southern Denmark
09:30 30m Talk		The ImpFS filesystem OCaml Tom Ridge University of Leicester, UK
10:00 30m Talk		Irmin v2 OCaml Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Ioana Cristescu INRIA, France, Craig Ferguson Tarides, Thomas Gazagnaire Tarides, Romain Liautaud Tarides
10:30 30m Talk		AD-OCaml: Algorithmic Differentiation for OCaml OCaml Markus Mottl Unaffiliated

11:30 - 13:30	ExperienceOCaml at OCaml Chair(s): Greta Yorsh Jane Street Sharing experience about using OCaml in various scenarios.

11:30 30m Talk		OCaml Under The Hood: SmartPy OCaml Sebastien Mondet TQ Tezos
12:00 30m Talk		A Declarative Syntax Definition for OCaml OCaml Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology Pre-print
12:30 30m Talk		LexiFi Runtime Types OCaml Patrik Keller University of Innsbruck, Marc Lasson LexiFi
13:00 30m Talk		Types in amber OCaml Paul Steckler O(1) Labs, Matthew Ryan O(1) Labs

14:00 - 15:00	Keynote IIOCaml at OCaml Chair(s): Chris Casinghino Draper Laboratory The recitation of the Keynote speech for those who weren’t able to attend the first one.

14:00 60m Keynote		The OCaml Platform OCaml Anil Madhavapeddy OCaml Labs

15:30 - 17:30	RecitationOCaml at OCaml Chair(s): Chris Casinghino Draper 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 Harrison University of Kent, UK, Steven Varoumas University of Kent, Simon Thompson University of Kent, Reuben Rowe University College London
16:00 30m Talk		OCaml-CI : A Zero-Configuration CI OCaml Thomas Leonard OCaml Labs, Craig Ferguson Tarides, Kate Deplaix OCaml Labs, Magnus Skjegstad Tarides and OCaml Labs, Anil Madhavapeddy OCaml Labs
16:30 30m Talk		The final pieces of the OCaml documentation puzzle OCaml Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
17:00 30m Talk		Parallelising your OCaml Code with Multicore OCaml OCaml Sadiq Jaffer Opsian and OCaml Labs, Sudha Parimala IIT Madras, KC Sivaramakrishnan IIT Madras, Tom Kelly OCaml Labs, Anil Madhavapeddy OCaml Labs Pre-print

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


Room	5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
OCaml							OCaml Ecosystem																																										OCaml Applications																														OCaml Experience																														OCaml Keynote II																		OCaml Recitation

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


Room	5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
OCaml							OCaml The OCaml Platform 05:30 - 06:30												OCaml OCaml-CI : A Zero-Configuration CI 06:30 - 07:00						OCaml The final pieces of the OCaml documentation puzzle 07:00 - 07:30						OCaml API migration: compare transformed 07:30 - 08:00						OCaml Parallelising your OCaml Code with Multicore OCaml 08:00 - 08:30												OCaml A Simple State-Machine Framework for Property-Based Testing in OCaml 09:00 - 09:30						OCaml The ImpFS filesystem 09:30 - 10:00						OCaml Irmin v2 10:00 - 10:30						OCaml AD-OCaml: Algorithmic Differentiation for OCaml 10:30 - 11:00												OCaml OCaml Under The Hood: SmartPy 11:30 - 12:00						OCaml A Declarative Syntax Definition for OCaml 12:00 - 12:30						OCaml LexiFi Runtime Types 12:30 - 13:00						OCaml Types in amber 13:00 - 13:30												OCaml The OCaml Platform 14:00 - 15:00																		OCaml API migration: compare transformed 15:30 - 16:00						OCaml OCaml-CI : A Zero-Configuration CI 16:00 - 16:30						OCaml The final pieces of the OCaml documentation puzzle 16:30 - 17:00						OCaml Parallelising your OCaml Code with Multicore OCaml 17:00 - 17:30

Room information: OCaml

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

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

OCaml

OCaml

OCaml

OCaml

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

Tracks

Workshops

Co-hosted Symposia

Room information: OCaml

Program Display Configuration

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

OCaml

OCaml

OCaml

OCaml

OCaml

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

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

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

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