ICFP 2019 (series) / FHPNC 2019 (series) /
FHPNC 2019 Program
This is the FHPNC 2019 program - see the full program for ICFP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:20 | |||
09:00 60mTalk | Keynote FHPNC Trevor L. McDonell Utrecht University | ||
10:00 10mTalk | GSoC Student Report 1 FHPNC | ||
10:10 10mTalk | GSoC Student Report 2 FHPNC Jesse Sigal University of Edinburgh |
10:50 - 12:10 | |||
10:50 26mTalk | Generating Efficient FFT GPU Code with Lift FHPNC Link to publication DOI Pre-print File Attached | ||
11:16 26mTalk | Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis FHPNC Link to publication Pre-print | ||
11:43 26mTalk | 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 | |||
13:40 23mTalk | 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 23mTalk | Towards Hasktorch 1.0: Automated Generation of C++ Libtorch Bindings (extended abstract) FHPNC | ||
14:26 23mTalk | Hailstorm : A statically typed functional language for systems programming (extended abstract) FHPNC |
15:20 - 16:40 | ArraysFHPNC at Reindeer Chair(s): Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital | ||
15:20 25mTalk | 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 26mTalk | 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 26mTalk | 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 | |||
17:10 60mTalk | Formal Verification of Scientific Computing Programs FHPNC Micaela Mayero LIPN, Université Paris 13 |