Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room namePine
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session 1ML at Pine
Chair(s): KC SivaramakrishnanIIT Madras
09:00
60m
Talk
Keynote: An Introduction to the Imandra Automated Reasoning System
ML
I: Grant PassmoreImandra Inc.
10:30 - 12:00
Session 2ML at Pine
Chair(s): Andreas RossbergDfinity Stiftung
10:30
25m
Talk
A right-to-left type system for value recursion
ML
Alban ReynaudENS Lyon, Gabriel SchererINRIA Saclay, Jeremy YallopUniversity of Cambridge, UK
Pre-print
10:55
25m
Talk
let (rec) insertion without effects, lights or magic
ML
Oleg Kiselyov, Jeremy YallopUniversity of Cambridge, UK
Pre-print
11:20
25m
Talk
(TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
ML
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
11:20 - 11:45
Presented at ML WorkshopTyDe at Pine
11:20
25m
Talk
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
TyDe
Frank EmrichThe University of Edinburgh, Sam LindleyThe University of Edinburgh and Imperial College London, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK
Pre-print
15:20 - 16:30
Session 4ML at Pine
Chair(s): Gabriel SchererINRIA Saclay
15:20
25m
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert AtkeyUniversity of Strathclyde, Ioan LucaUniversity of Strathclyde
File Attached
15:45
25m
Talk
Necro: Animating Skeletons
ML
File Attached
16:50 - 18:15
Session 5ML at Pine
Chair(s): Edwin BradyUniversity of St. Andrews, UK
16:50
25m
Talk
Compiling Successor ML Pattern Guards
ML
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
Pre-print
17:15
25m
Talk
A Key-Value store for OCaml
ML
Tom RidgeUniversity of Leicester, UK
File Attached
17:40
25m
Talk
Towards Machine Learning Induction in Poly/ML
ML
Yutaka NagashimaData61, Australia
File Attached

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
EcosystemOCaml at Pine
Chair(s): David AllsoppUniversity of Cambridge
09:00
5m
Day opening
Welcome
OCaml
David AllsoppUniversity of Cambridge
09:05
25m
Talk
Invited Talk
OCaml
Xavier LeroyCollège de France
09:30
30m
Talk
The OCaml Platform in 2019
OCaml
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity 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 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
25m
Talk
CausalRPC: traceable distributed computation
OCaml
11:20
25m
Talk
Executing Owl Computation on GPU and TPU
OCaml
Jianxin ZhaoUniversity of Cambridge

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Pine

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Pine