Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sat 29 Sep 2018 08:45 - 09:00 at New York Central - Morning Session 1 Chair(s): Kei Davis

Welcome to FHPC 2018!

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:45 - 10:00
Morning Session 1FHPC at New York Central
Chair(s): Kei Davis Los Alamos National Laboratory
08:45
15m
Day opening
Welcome and Introductions
FHPC
C: Kei Davis Los Alamos National Laboratory, C: Mike Rainey
09:00
60m
Talk
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