OCaml - OCaml 2020

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 2020 at OCaml Chair(s): Florian Angeletti Inria Infrastructure, tooling, and ecosystem in general.

05:30 60m Keynote		The OCaml Platform OCaml 2020 Anil Madhavapeddy OCaml Labs
06:30 30m Talk		OCaml-CI : A Zero-Configuration CI OCaml 2020 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 2020 Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
07:30 30m Talk		API migration: compare transformed OCaml 2020 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 2020 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 2020 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 2020 Jan Midtgaard University of Southern Denmark
09:30 30m Talk		The ImpFS filesystem OCaml 2020 Tom Ridge University of Leicester, UK
10:00 30m Talk		Irmin v2 OCaml 2020 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 2020 Markus Mottl Unaffiliated

11:30 - 13:30	ExperienceOCaml 2020 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 2020 Sebastien Mondet TQ Tezos
12:00 30m Talk		A Declarative Syntax Definition for OCaml OCaml 2020 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 2020 Patrik Keller University of Innsbruck, Marc Lasson LexiFi
13:00 30m Talk		Types in amber OCaml 2020 Paul Steckler O(1) Labs, Matthew Ryan O(1) Labs

14:00 - 15:00	Keynote IIOCaml 2020 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 2020 Anil Madhavapeddy OCaml Labs

15:30 - 17:30	RecitationOCaml 2020 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 2020 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 2020 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 2020 Jonathan Ludlam University of Cambridge, Gabriel Radanne Inria, Leo White Jane Street
17:00 30m Talk		Parallelising your OCaml Code with Multicore OCaml OCaml 2020 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 2020 Ecosystem																																										OCaml 2020 Applications																														OCaml 2020 Experience																														OCaml 2020 Keynote II																		OCaml 2020 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 2020

OCaml 2020

OCaml 2020

OCaml 2020

OCaml 2020

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

Tracks

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 2020

OCaml 2020

OCaml 2020

OCaml 2020

OCaml 2020

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