[ACM Press the 7th ACM SIGPLAN International Workshop - St. Louis, MO, USA (2018.09.29-2018.09.29)] Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 - HELIX: a case study of a formal verification of high performance program generationZaliva, Vadim; Franchetti, Franz · 2018