FHPC@ICFP

Keyphrases

Publications

2018

Vadim Zaliva, Franz Franchetti
HELIX: a case study of a formal verification of high performance program generation. FHPC@ICFP (2018)
Troels Henriksen, Martin Elsman, Cosmin E. Oancea
Modular acceleration: tricky cases of functional high-performance computing. FHPC@ICFP (2018)
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018 FHPC@ICFP (2018)

2017

2016

2015

2014

2013