Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room namePine
Floor0
Additional informationThere is no additional information of this room 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 - 10:00
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 - 10:55
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 - 11:20
Talk
let (rec) insertion without effects, lights or magic
ML
Oleg Kiselyov, Jeremy YallopUniversity of Cambridge, UK
Pre-print
11:20 - 11:45
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 - 11:45
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
13:30 - 15:00: Session 3ML at Pine
Chair(s): Zoe ParaskevopoulouPrinceton University
13:30 - 13:55
Talk
Transparent Synchronous Dataflow
ML
Steven CheungUniversity of Birmingham, UK
File Attached
13:55 - 14:20
Talk
Programming with Rational Coinductive Streams
ML
Jean-Baptiste JeanninUniversity of Michigan, USA
File Attached
14:20 - 14:45
Talk
Efficient Deconstruction with Typed Pointer Reversal
ML
Pre-print
15:20 - 16:30: Session 4ML at Pine
Chair(s): Gabriel SchererINRIA Saclay
15:20 - 15:45
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert AtkeyUniversity of Strathclyde, Ioan LucaUniversity of Strathclyde
File Attached
15:45 - 16:10
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 - 17:15
Talk
Compiling Successor ML Pattern Guards
ML
John ReppyUniversity of Chicago, Mona ZahirUniversity of Chicago
Pre-print
17:15 - 17:40
Talk
A Key-Value store for OCaml
ML
Tom RidgeUniversity of Leicester, UK
File Attached
17:40 - 18:05
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 - 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
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
10:30 - 12:00: ApplicationsOCaml at Pine
Chair(s): Igor Pikovets
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
11:20 - 11:45
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