Program - ICFP 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	EcosystemOCaml at Pine Chair(s): David Allsopp University of Cambridge

09:00 5m Day opening		Welcome OCaml David Allsopp University of Cambridge
09:05 25m Talk		Invited Talk OCaml Xavier Leroy Collège de France
09:30 30m Talk		The OCaml Platform in 2019 OCaml Anil Madhavapeddy OCaml Labs, Gemma Gordon University of Cambridge

10:30 - 12:00	ApplicationsOCaml at Pine Chair(s): Igor Pikovets

10:30 25m Talk		OwlDE: making ODEs first-class Owl citizens OCaml Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu Kao Computational and Biological Learning Lab, Department of Engineering, University of Cambridge
10:55 25m Talk		CausalRPC: traceable distributed computation OCaml Craig Ferguson Tarides
11:20 25m Talk		Executing Owl Computation on GPU and TPU OCaml Jianxin Zhao University of Cambridge

13:30 - 15:00	ToolsOCaml at Pine Chair(s): Thomas Gazagnaire Tarides

13:30 25m Talk		Codept, a whole-project dependency analyzer for OCaml OCaml Florian Angeletti
13:55 25m Talk		The future of OCaml PPX: towards a unified and more robust ecosystem OCaml Nathan Rebours Tarides, Jeremie Dimino Jane Street Europe, Xavier Clerc ocamljava.org, Carl Eastlund Jane Street Europe
14:20 25m Talk		Benchmarking the OCaml compiler: our experience OCaml Tom Kelly OCaml Labs

15:20 - 16:50	ExperienceOCaml at Pine Chair(s): Gemma Gordon University of Cambridge

15:20 25m Talk		Lessons from building a succinct blockchain with OCaml OCaml Nathan Holland O(1) Labs
15:45 25m Talk		Makecloud: Simple, Fast, Robust CI/CD for the modern era OCaml Adam Ringwood Endgame, Hezekiah Carty Endgame
16:10 25m Talk		MirageOS 4: the dawn of practical build systems for exotic targets OCaml Lucas Pluvinage ENS Paris, Romain Calascibetta Tarides, Rudi Grinberg OCaml Labs, Anil Madhavapeddy OCaml Labs

OCaml 2019 Program

Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

OCaml 2019 Program

Switch Program View

Program Display Configuration

Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change