ICFP 2018 (series) / FHPC 2018 (series) /
FHPC 2018 Program
This is the FHPC 2018 program - see the full program for ICFP 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 29 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:45 - 10:00 | |||
08:45 15mDay opening | Welcome and Introductions FHPC | ||
09:00 60mTalk | HELIX: A Case Study of a Formal Verification of High Performance Program Generation FHPC A: Vadim Zaliva Carnegie Mellon University, USA, A: Franz Franchetti Carnegie Mellon University, USA DOI | ||
10:20 - 12:15 | |||
10:20 60mTalk | Modular Acceleration: Tricky Cases of Functional High-Performance Computing FHPC A: Troels Henriksen University of Copenhagen, Denmark, A: Martin Elsman University of Copenhagen, Denmark, A: Cosmin Oancea University of Copenhagen, Denmark DOI | ||
11:20 45mTalk | Preventing Data Races with Refinement Types FHPC | ||
13:30 - 15:10 | |||
13:30 45mTalk | An Efficient Compiler for Recursive Functions on Mostly-Serialized Data FHPC A: Michael Vollmer Indiana University, USA, A: Chaitanya Koparkar Indiana University, A: Laith Sakka Purdue University, A: Milind Kulkarni Purdue University, A: Ryan R. Newton Indiana University | ||
14:15 45mTalk | Comparing strategies for lightweight threading based on continuations FHPC | ||
15:30 - 17:00 | |||
15:30 45mTalk | Optimizing Data Parallelism with Linear Programming in Nessie FHPC | ||
16:15 45mDay closing | Optional Discussion FHPC | ||