ICFP 2019 (series) / OCaml 2019 (series) /
OCaml 2019 Program
This is the OCaml 2019 program - see the full program for ICFP 2019 and all affiliated events.
Filter Program
Dates
Fri 23 Aug 2019
Rooms
Pine
Tracks
OCaml
Badges
Nothing to filter
Your Program
Nothing to filter
Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome OCaml David Allsopp University of Cambridge | ||
09:05 25mTalk | Invited Talk OCaml Xavier Leroy Collège de France | ||
09:30 30mTalk | The OCaml Platform in 2019 OCaml |
10:30 - 12:00 | |||
10:30 25mTalk | 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 25mTalk | CausalRPC: traceable distributed computation OCaml Craig Ferguson Tarides | ||
11:20 25mTalk | Executing Owl Computation on GPU and TPU OCaml Jianxin Zhao University of Cambridge |
13:30 - 15:00 | |||
13:30 25mTalk | Codept, a whole-project dependency analyzer for OCaml OCaml | ||
13:55 25mTalk | 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 25mTalk | Benchmarking the OCaml compiler: our experience OCaml Tom Kelly OCaml Labs |
15:20 - 16:50 | |||
15:20 25mTalk | Lessons from building a succinct blockchain with OCaml OCaml Nathan Holland O(1) Labs | ||
15:45 25mTalk | Makecloud: Simple, Fast, Robust CI/CD for the modern era OCaml | ||
16:10 25mTalk | 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 |