Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) / Hotel Scandic Berlin Potsdamer Platz /

Room information: Pine

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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Session 1ML at Pine
Chair(s): KC Sivaramakrishnan IIT Madras
09:00
60m
Talk
Keynote: An Introduction to the Imandra Automated Reasoning System
ML
I: Grant Passmore Imandra Inc.
10:30 - 12:00
Session 2ML at Pine
Chair(s): Andreas Rossberg Dfinity Stiftung
10:30
25m
Talk
A right-to-left type system for value recursion
ML
Alban Reynaud ENS Lyon, Gabriel Scherer INRIA Saclay, Jeremy Yallop University of Cambridge, UK
Pre-print
10:55
25m
Talk
let (rec) insertion without effects, lights or magic
ML
Oleg Kiselyov , Jeremy Yallop University of Cambridge, UK
Pre-print
11:20
25m
Talk
(TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
ML
Frank Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University 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 Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK
Pre-print
13:30 - 15:00
Session 3ML at Pine
Chair(s): Zoe Paraskevopoulou Princeton University
13:30
25m
Talk
Transparent Synchronous Dataflow
ML
Steven Cheung University of Birmingham, UK
File Attached
13:55
25m
Talk
Programming with Rational Coinductive Streams
ML
Jean-Baptiste Jeannin University of Michigan, USA
File Attached
14:20
25m
Talk
Efficient Deconstruction with Typed Pointer Reversal
ML
Guillaume Munch-Maccagnoni Inria, Rémi Douence IMT Atlantique
Pre-print
15:20 - 16:30
Session 4ML at Pine
Chair(s): Gabriel Scherer INRIA Saclay
15:20
25m
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert Atkey University of Strathclyde, Ioan Luca University of Strathclyde
File Attached
15:45
25m
Talk
Necro: Animating Skeletons
ML
Nathanaël Courant INRIA, Enzo Crance INSA Rennes, Alan Schmitt Inria
File Attached
16:50 - 18:15
Session 5ML at Pine
Chair(s): Edwin Brady University of St. Andrews, UK
16:50
25m
Talk
Compiling Successor ML Pattern Guards
ML
John Reppy University of Chicago, Mona Zahir University of Chicago
Pre-print
17:15
25m
Talk
A Key-Value store for OCaml
ML
Tom Ridge University of Leicester, UK
File Attached
17:40
25m
Talk
Towards Machine Learning Induction in Poly/ML
ML
Yutaka Nagashima Data61, Australia
File Attached

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
EcosystemOCaml at Pine
Chair(s): David Allsopp University of Cambridge
09:00
5m
Day opening
Welcome
OCaml
David Allsopp University of Cambridge
09:05
25m
Talk
Invited Talk
OCaml
Xavier Leroy Collège de France
09:30
30m
Talk
The OCaml Platform in 2019
OCaml
Anil Madhavapeddy OCaml Labs, Gemma Gordon University 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 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
25m
Talk
CausalRPC: traceable distributed computation
OCaml
Craig Ferguson Tarides
11:20
25m
Talk
Executing Owl Computation on GPU and TPU
OCaml
Jianxin Zhao University of Cambridge
13:30 - 15:00
ToolsOCaml at Pine
Chair(s): Thomas Gazagnaire Tarides
13:30
25m
Talk
Codept, a whole-project dependency analyzer for OCaml
OCaml
Florian Angeletti
13:55
25m
Talk
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
25m
Talk
Benchmarking the OCaml compiler: our experience
OCaml
Tom Kelly OCaml Labs
15:20 - 16:50
ExperienceOCaml at Pine
Chair(s): Gemma Gordon University of Cambridge
15:20
25m
Talk
Lessons from building a succinct blockchain with OCaml
OCaml
Nathan Holland O(1) Labs
15:45
25m
Talk
Makecloud: Simple, Fast, Robust CI/CD for the modern era
OCaml
Adam Ringwood Endgame, Hezekiah Carty Endgame
16:10
25m
Talk
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

Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

ML

Session 1

ML

Session 2

TyDe

Presented at ML Workshop
11:20 - 11:45

ML

Session 3

ML

Session 4

ML

Session 5

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

OCaml

Ecosystem

OCaml

Applications

OCaml

Tools

OCaml

Experience

Thu 22 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Pine
ML
Keynote: An Introduction to the Imandra Automated Reasoning System
09:00 - 10:00
ML
A right-to-left type system for value recursion
10:30 - 10:55
ML
let (rec) insertion without effects, lights or magic
10:55 - 11:20
ML
(TyDe Presentation) FreezeML: Complete and Easy Type Inference for Firs ...
11:20 - 11:45
TyDe
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
11:20 - 11:45
ML
Transparent Synchronous Dataflow
13:30 - 13:55
ML
Programming with Rational Coinductive Streams
13:55 - 14:20
ML
Efficient Deconstruction with Typed Pointer Reversal
14:20 - 14:45
ML
An Idris Foreign Function Interface to OCaml
15:20 - 15:45
ML
Necro: Animating Skeletons
15:45 - 16:10
ML
Compiling Successor ML Pattern Guards
16:50 - 17:15
ML
A Key-Value store for OCaml
17:15 - 17:40
ML
Towards Machine Learning Induction in Poly/ML
17:40 - 18:05

Fri 23 Aug

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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