Program - ICFP 2019

Filter

Badges

Your Program

Fri 23 Aug

09:00 - 10:00: OCaml 2019 - Ecosystem at Pine
Chair(s): David AllsoppUniversity of Cambridge

09:00 - 09:05
Day opening

Welcome

David AllsoppUniversity of Cambridge

09:05 - 09:30
Talk

Invited Talk

Xavier LeroyCollège de France

09:30 - 10:00
Talk

The OCaml Platform in 2019

Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge

10:30 - 12:00: OCaml 2019 - Applications at Pine
Chair(s): Igor Pikovets

10:30 - 10:55
Talk

OwlDE: making ODEs first-class Owl citizens

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

Craig FergusonTarides

11:20 - 11:45
Talk

Executing Owl Computation on GPU and TPU

Jianxin ZhaoUniversity of Cambridge

13:30 - 15:00: OCaml 2019 - Tools at Pine
Chair(s): Thomas GazagnaireTarides

13:30 - 13:55
Talk

Codept, a whole-project dependency analyzer for OCaml

Florian Angeletti

13:55 - 14:20
Talk

The future of OCaml PPX: towards a unified and more robust ecosystem

Nathan ReboursTarides, Jeremie DiminoJane Street Europe, Xavier Clercocamljava.org, Carl EastlundJane Street Europe

14:20 - 14:45
Talk

Benchmarking the OCaml compiler: our experience

Tom KellyOCaml Labs

15:20 - 16:50: OCaml 2019 - Experience at Pine
Chair(s): Gemma GordonUniversity of Cambridge

15:20 - 15:45
Talk

Lessons from building a succinct blockchain with OCaml

Nathan HollandO(1) Labs

15:45 - 16:10
Talk

Makecloud: Simple, Fast, Robust CI/CD for the modern era

Adam RingwoodEndgame, Hezekiah CartyEndgame

16:10 - 16:35
Talk

MirageOS 4: the dawn of practical build systems for exotic targets

Lucas PluvinageENS Paris, Romain CalascibettaTarides, Rudi GrinbergOCaml Labs, Anil MadhavapeddyOCaml Labs

Fri 23 Aug 2019


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
Pine	OCaml Ecosystem 09:00 - 10:00																		OCaml Applications 10:30 - 12:00																																				OCaml Tools 13:30 - 15:00																						OCaml Experience 15:20 - 16:50

Fri 23 Aug 2019


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 Codept, a whole-project dependency analyzer for OCaml 13:30 - 13:55					OCaml The future of OCaml PPX: towards a unified and more robust ecosystem 13:55 - 14:20					OCaml Benchmarking the OCaml compiler: our experience 14:20 - 14:45												OCaml Lessons from building a succinct blockchain with OCaml 15:20 - 15:45					OCaml Makecloud: Simple, Fast, Robust CI/CD for the modern era 15:45 - 16:10					OCaml MirageOS 4: the dawn of practical build systems for exotic targets 16:10 - 16:35

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

OCaml 2019 Program

Fri 23 Aug

Fri 23 Aug 2019

OCaml

OCaml

OCaml

OCaml

Fri 23 Aug 2019

Tracks

Workshops

Co-hosted Symposiums