ICFP 2020 (series) / OCaml 2020 (series) /
OCaml 2020 Program
This is the OCaml 2020 program - see the full program for ICFP 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
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 60mKeynote | The OCaml Platform OCaml Anil Madhavapeddy OCaml Labs | ||
06:30 30mTalk | 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 30mTalk | The final pieces of the OCaml documentation puzzle OCaml | ||
07:30 30mTalk | 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 30mTalk | 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 30mTalk | A Simple State-Machine Framework for Property-Based Testing in OCaml OCaml Jan Midtgaard University of Southern Denmark | ||
09:30 30mTalk | The ImpFS filesystem OCaml Tom Ridge University of Leicester, UK | ||
10:00 30mTalk | 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 30mTalk | 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 30mTalk | OCaml Under The Hood: SmartPy OCaml Sebastien Mondet TQ Tezos | ||
12:00 30mTalk | 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 30mTalk | LexiFi Runtime Types OCaml | ||
13:00 30mTalk | Types in amber OCaml |
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 60mKeynote | 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 30mTalk | 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 30mTalk | 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 30mTalk | The final pieces of the OCaml documentation puzzle OCaml | ||
17:00 30mTalk | 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 |