ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Powered by
Conference Publishing Consulting
7th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2018)
,
September 29, 2018
,
St. Louis, MO, USA
FHPC 2018 – Proceedings
Contents
-
Abstracts
-
Authors
7th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2018)
Title Page
Message from the Chairs
Info
HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Vadim Zaliva
and Franz Franchetti
(Carnegie Mellon University, USA)
Publisher's Version
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen
, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
Publisher's Version
proc time: 1.1