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

Sun 18 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:20: AccelerateFHPNC at Reindeer
Chair(s): Dominic SteinitzTweag I/O
09:00 - 10:00
Talk
Keynote
FHPNC
Trevor L. McDonellUtrecht University
10:00 - 10:10
Talk
GSoC Student Report 1
FHPNC
10:10 - 10:20
Talk
GSoC Student Report 2
FHPNC
Jesse SigalUniversity of Edinburgh
10:50 - 12:10: Orthogonal BasesFHPNC at Reindeer
Chair(s): Gabriele KellerUtrecht University
10:50 - 11:16
Talk
Generating Efficient FFT GPU Code with Lift
FHPNC
Bastian KöpckeUniversity of Münster, Michel SteuwerUniversity of Glasgow, Sergei Gorlatch
Link to publication DOI Pre-print File Attached
11:16 - 11:43
Talk
Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis
FHPNC
Olivier Verdier, Justus SagemüllerWestern Norway University of Applied Sciences
Link to publication Pre-print
11:43 - 12:10
Talk
Functional Approach to Acceleration of Monte Carlo Simulation for American Option Pricing (extended abstract)
FHPNC
Wojciech Michal PawlakUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
Link to publication
13:40 - 14:50: Machine LearningFHPNC at Reindeer
Chair(s): Dominic SteinitzTweag I/O
13:40 - 14:03
Talk
Compositional Deep Learning in Futhark
FHPNC
Duc Minh TranDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Martin ElsmanUniversity of Copenhagen, Denmark
Link to publication
14:03 - 14:26
Talk
Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract)
FHPNC
14:26 - 14:50
Talk
Hailstorm : A statically typed functional language for systems programming (extended abstract)
FHPNC
Abhiroop SarkarChalmers University of Technology, Mary Sheeran
15:20 - 16:40: ArraysFHPNC at Reindeer
Chair(s): Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU) and Deon Digital
15:20 - 15:45
Talk
Compiling Generalised Histograms for GPU (extended abstract)
FHPNC
Sune HellfritzschUniversity of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Troels HenriksenUniversity of Copenhagen, Denmark, Cosmin OanceaUniversity of Copenhagen, Denmark
15:46 - 16:13
Talk
Position-Dependent Arrays and Their Applicationfor High Performance Code Generation
FHPNC
Federico PizzutiUniversity of Edinburgh, Michel SteuwerUniversity of Glasgow, Christophe DubachUniversity of Edinburgh
Link to publication DOI Pre-print File Attached
16:14 - 16:40
Talk
Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage
FHPNC
Markus Aronsson, Koen ClaessenChalmers University of Technology, Mary Sheeran, Nicholas SmallboneChalmers University of Technology, Sweden
17:10 - 18:10: VerificationFHPNC at Reindeer
Chair(s): Gabriele KellerUtrecht University
17:10 - 18:10
Talk
Formal Verification of Scientific Computing Programs
FHPNC
Micaela MayeroLIPN, Université Paris 13

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00: Tutorials R1Tutorials at Reindeer
09:00 - 12:00
Tutorial
Verifying Imperative Programs with SAW
Tutorials
13:30 - 16:30: Tutorials R2Tutorials at Reindeer
13:30 - 16:30
Tutorial
Verifying Imperative Programs with SAW
Tutorials

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 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
Reindeer

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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
Reindeer

Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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