Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Fri 23 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 09:00 - 09:05 Day opening | Welcome OCaml David AllsoppUniversity of Cambridge | ||
| 09:05 - 09:30 Talk | Invited Talk OCaml Xavier LeroyCollège de France | ||
| 09:30 - 10:00 Talk | The OCaml Platform in 2019 OCaml | ||
| 10:30 - 10:55 Talk | OwlDE: making ODEs first-class Owl citizens OCaml Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu KaoComputational and Biological Learning Lab, Department of Engineering, University of Cambridge | ||
| 10:55 - 11:20 Talk | CausalRPC: traceable distributed computation OCaml Craig FergusonTarides | ||
| 11:20 - 11:45 Talk | Executing Owl Computation on GPU and TPU OCaml Jianxin ZhaoUniversity of Cambridge | ||
| 13:30 - 13:55 Talk | Codept, a whole-project dependency analyzer for OCaml OCaml | ||
| 13:55 - 14:20 Talk | The future of OCaml PPX: towards a unified and more robust ecosystem OCaml Nathan ReboursTarides, Jeremie DiminoJane Street Europe, Xavier Clercocamljava.org, Carl EastlundJane Street Europe | ||
| 14:20 - 14:45 Talk | Benchmarking the OCaml compiler: our experience OCaml Tom KellyOCaml Labs | ||
| 15:20 - 15:45 Talk | Lessons from building a succinct blockchain with OCaml OCaml Nathan HollandO(1) Labs | ||
| 15:45 - 16:10 Talk | Makecloud: Simple, Fast, Robust CI/CD for the modern era OCaml | ||
| 16:10 - 16:35 Talk | MirageOS 4: the dawn of practical build systems for exotic targets OCaml Lucas PluvinageENS Paris, Romain CalascibettaTarides, Rudi GrinbergOCaml Labs, Anil MadhavapeddyOCaml Labs | ||
Fri 23 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 23 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| Room | 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Pine | OCaml Welcome 09:00 - 09:05 | OCaml Invited Talk 09:05 - 09:30 | OCaml The OCaml Platform in 2019 09:30 - 10:00 | OCaml OwlDE: making ODEs first-class Owl citizens 10:30 - 10:55 | OCaml CausalRPC: traceable distributed computation 10:55 - 11:20 | OCaml Executing Owl Computation on GPU and TPU 11:20 - 11:45 | OCaml Benchmarking the OCaml compiler: our experience 14:20 - 14:45 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format