Haskell 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
co-located with
ICFP 2019
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Track/Call
Organization
Haskell 2019 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
Haskell 2024
Haskell 2023
Haskell 2022
Haskell 2021
Haskell 2020
Haskell 2019
Haskell 2018
Haskell 2017
Haskell 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Haskell 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
ICFP Tutorials
at
Reindeer
09:00
3h
Tutorial
Verifying Imperative Programs with SAW
ICFP Tutorials
David Thrane Christiansen
Galois, USA
,
Iavor Diatchki
Galois, Inc.
13:30 - 16:30
Tutorials R2
ICFP Tutorials
at
Reindeer
13:30
3h
Tutorial
Verifying Imperative Programs with SAW
ICFP 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
ICFP Tutorials
at
Reindeer
09:00
3h
Tutorial
Programming Language Foundations in Agda
ICFP Tutorials
Philip Wadler
University of Edinburgh, UK
13:30 - 16:30
Tutorials R4
ICFP Tutorials
at
Reindeer
13:30
3h
Tutorial
Programming Language Foundations in Agda
ICFP 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
ICFP Tutorials
Tutorials R1
ICFP 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
ICFP Tutorials
Tutorials R3
ICFP 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
Fri 26 Apr 16:05