Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameOCaml
Floor0
Room InformationNo extra information available
Program

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
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
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
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

Room5:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
OCaml