ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Fri 6 Sep 2024 16:45 - 17:30 at Meeting 4 - Compilation Techniques

We present a preview of HVM2, an efficient and massively parallel GPU and CPU evaluator for a system of extended Interaction Combinators. When compiling non-sequential programs from a high-level programming language to HVM2 and executing them on the C and CUDA runtimes, we achieved a large parallel speedup as a function of cores available. We give an overview of HVM2’s theoretical foundations, implementation, early benchmarks, current limitations, and future work.

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Compilation TechniquesFProPer at Meeting 4
16:00
45m
Talk
Functional Sparse Tensor Compilation
FProPer
Shideh Hashemian University of Edinburgh, Amir Shaikhha University of Edinburgh
16:45
45m
Talk
HVM2: Iteraction Combinator Evaluator
FProPer
Victor Taelin Higher Order Company, Francisco Javier Grecco Carman , Nicolas Abril Higher Order Company, Enrico Zandomeni Borba Higher Order Company