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
Article: icfpws18fhpcforeword-fm000-p doi:
Message from the Chairs
Article: icfpws18fhpcforeword-fm001-p doi:
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 Article: icfpws18fhpcmain-p3-p doi:10.1145/3264738.3264739
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
Publisher's Version Article: icfpws18fhpcmain-p5-p doi:10.1145/3264738.3264740

proc time: 0.01