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 ORCID logo and Franz Franchetti
(Carnegie Mellon University, USA)
Publisher's Version
Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen ORCID logo, Martin Elsman, and Cosmin E. Oancea ORCID logo
(University of Copenhagen, Denmark)
Publisher's Version

proc time: 1.08