Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Local Information
Travel info
Registration
Code of Conduct
Remote participation
Students
Visa
Call For Sponsorship
Program
ICFP Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Tracks
ICFP 2019
Keynotes and Reports
Research Papers
Workshops
Tutorials
Research Artifacts
Student Volunteering
Student Research Competition
Workshops
Erlang
FARM
FHPNC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
External Review Committee
Research Artifacts
Student Volunteering
Student Research Competition
Poster and Presentation Judges
Program Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Speakers
Scheme
Organizing Committee
Program Committee
TyDe
Organizing Committee
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Hotel Scandic Berlin Potsdamer Platz
/
Room information: Reindeer
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Reindeer
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Accelerate
FHPNC
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
Deifilia To
10:10
10m
Talk
GSoC Student Report 2
FHPNC
Jesse Sigal
University of Edinburgh
10:50 - 12:10
Orthogonal Bases
FHPNC
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 Learning
FHPNC
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
Arrays
FHPNC
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
Verification
FHPNC
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 R1
Tutorials
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 R2
Tutorials
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 R3
Tutorials
at
Reindeer
09:00
3h
Tutorial
Programming Language Foundations in Agda
Tutorials
Philip Wadler
University of Edinburgh, UK
13:30 - 16:30
Tutorials R4
Tutorials
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
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
17:00
30
18:00
30
Reindeer
FHPNC
Accelerate
FHPNC
Orthogonal Bases
FHPNC
Machine Learning
FHPNC
Arrays
FHPNC
Verification
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Reindeer
Tutorials
Tutorials R1
Tutorials
Tutorials R2
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Reindeer
Tutorials
Tutorials R3
Tutorials
Tutorials R4
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
17:00
15
30
45
18:00
15
30
45
Reindeer
FHPNC
Keynote
09:00 - 10:00
FHPNC
GSoC Student Report 1
10:00 - 10:10
FHPNC
GSoC Student Report 2
10:10 - 10:20
FHPNC
Generating Efficient FFT GPU Code with Lift
10:50 - 11:16
FHPNC
Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
11:16 - 11:43
FHPNC
Functional Approach to Acceleration of Monte Carlo Simulation for Ameri ...
11:43 - 12:10
FHPNC
Compositional Deep Learning in Futhark
13:40 - 14:03
FHPNC
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (e ...
14:03 - 14:26
FHPNC
Hailstorm : A statically typed functional language for systems programm ...
14:26 - 14:50
FHPNC
Compiling Generalised Histograms for GPU (extended abstract)
15:20 - 15:45
FHPNC
Position-Dependent Arrays and Their Applicationfor High Performance Cod ...
15:46 - 16:13
FHPNC
Safety at speed: In-place array algorithms from pure functional program ...
16:14 - 16:40
FHPNC
Formal Verification of Scientific Computing Programs
17:10 - 18:10
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Reindeer
ICFP Tutorials
Verifying Imperative Programs with SAW
09:00 - 12:00
ICFP Tutorials
Verifying Imperative Programs with SAW
13:30 - 16:30
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
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
Reindeer
ICFP Tutorials
Programming Language Foundations in Agda
09:00 - 12:00
ICFP Tutorials
Programming Language Foundations in Agda
13:30 - 16:30
x
Thu 21 Nov 09:50