Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
VenueHotel Scandic Berlin Potsdamer Platz
Room nameReindeer
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

Sun 18 Aug

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

09:00 - 10:20
AccelerateFHPNC at Reindeer
Chair(s): Dominic Steinitz Tweag I/O
09:00
60m
Talk
Keynote
FHPNC
Trevor L. McDonell Utrecht University
10:00
10m
Talk
GSoC Student Report 1
FHPNC
10:10
10m
Talk
GSoC Student Report 2
FHPNC
Jesse Sigal University of Edinburgh
10:50 - 12:10
Orthogonal BasesFHPNC at Reindeer
Chair(s): Gabriele Keller Utrecht University
10:50
26m
Talk
Generating Efficient FFT GPU Code with Lift
FHPNC
Bastian Köpcke University of Münster, Michel Steuwer University of Glasgow, Sergei Gorlatch
Link to publication DOI Pre-print File Attached
11:16
26m
Talk
Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
FHPNC
Olivier Verdier , Justus Sagemüller Western Norway University of Applied Sciences
Link to publication Pre-print
11:43
26m
Talk
Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract)
FHPNC
Wojciech Michal Pawlak University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark, Cosmin Oancea University of Copenhagen, Denmark
Link to publication
13:40 - 14:50
Machine LearningFHPNC at Reindeer
Chair(s): Dominic Steinitz Tweag I/O
13:40
23m
Talk
Compositional Deep Learning in Futhark
FHPNC
Duc Minh Tran DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark
Link to publication
14:03
23m
Talk
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
FHPNC
Junji Hashimoto GREE, Inc., Autsin Huang , Sam Stites Sentenai
14:26
23m
Talk
Hailstorm : A statically typed functional language for systems programming (extended abstract)
FHPNC
Abhiroop Sarkar Chalmers University of Technology, Mary Sheeran
15:20 - 16:40
ArraysFHPNC at Reindeer
Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
15:20
25m
Talk
Compiling Generalised Histograms for GPU (extended abstract)
FHPNC
Sune Hellfritzsch University of Copenhagen, Niels G. W. Serup DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Denmark, Cosmin Oancea University of Copenhagen, Denmark
15:46
26m
Talk
Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
FHPNC
Federico Pizzuti University of Edinburgh, Michel Steuwer University of Glasgow, Christophe Dubach University of Edinburgh
Link to publication DOI Pre-print File Attached
16:14
26m
Talk
Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
FHPNC
Markus Aronsson , Koen Claessen Chalmers University of Technology, Mary Sheeran , Nicholas Smallbone Chalmers University of Technology, Sweden
17:10 - 18:10
VerificationFHPNC at Reindeer
Chair(s): Gabriele Keller Utrecht University
17:10
60m
Talk
Formal Verification of Scientific Computing Programs
FHPNC
Micaela Mayero LIPN, Université Paris 13

Thu 22 Aug

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

09:00 - 12:00
Tutorials R1Tutorials at Reindeer
09:00
3h
Tutorial
Verifying Imperative Programs with SAW
Tutorials
David Thrane Christiansen Galois, USA, Iavor Diatchki Galois, Inc.
13:30 - 16:30
Tutorials R2Tutorials at Reindeer
13:30
3h
Tutorial
Verifying Imperative Programs with SAW
Tutorials
David Thrane Christiansen Galois, USA, Iavor Diatchki Galois, Inc.

Fri 23 Aug

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

09:00 - 12:00
Tutorials R3Tutorials at Reindeer
09:00
3h
Tutorial
Programming Language Foundations in Agda
Tutorials
Philip Wadler University of Edinburgh, UK
13:30 - 16:30
Tutorials R4Tutorials at Reindeer
13:30
3h
Tutorial
Programming Language Foundations in Agda
Tutorials
Philip Wadler University of Edinburgh, UK

Sun 18 Aug

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

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

Thu 22 Aug

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

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

Fri 23 Aug

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

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

Thu 22 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reindeer

Fri 23 Aug

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Reindeer