FHPC 2018 – Proceedings

7th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2018)

HELIX: A Case Study of a Formal Verification of High Performance Program Generation
Vadim Zaliva and Franz Franchetti
(Carnegie Mellon University, USA)


@InProceedings{FHPC18p1, author = {Vadim Zaliva and Franz Franchetti}, title = {HELIX: A Case Study of a Formal Verification of High Performance Program Generation}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3264738.3264739}, year = {2018}, } Publisher's Version

Modular Acceleration: Tricky Cases of Functional High-Performance Computing
Troels Henriksen, Martin Elsman, and Cosmin E. Oancea
(University of Copenhagen, Denmark)


@InProceedings{FHPC18p13, author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea}, title = {Modular Acceleration: Tricky Cases of Functional High-Performance Computing}, booktitle = {Proc.\ FHPC}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3264738.3264740}, year = {2018}, } Publisher's Version

proc time: 0.74