A static cut-off for task parallel programs

S Iwasaki, K Taura - Proceedings of the 2016 International Conference …, 2016 - dl.acm.org
Task parallel models supporting dynamic and hierarchical parallelism are believed to offer a
promising direction to achieving higher performance and programmability. Divide-and …

Methods and systems to vectorize scalar computer program loops having loop-carried dependences

J Bharadwaj, N Vasudevan, A Hartono… - US Patent …, 2016 - Google Patents
Methods and systems to convert scalar computer program loops having loop carried
dependences to vector computer program loops are disclosed. One example method and …

The Intel labs Haskell research compiler

H Liu, N Glew, L Petersen, TA Anderson - Proceedings of the 2013 ACM …, 2013 - dl.acm.org
The Glasgow Haskell Compiler (GHC) is a well supported optimizing compiler for the
Haskell programming language, along with its own extensions to the language and libraries …

Measuring the Haskell gap

L Petersen, TA Anderson, H Liu, N Glew - Proceedings of the 25th …, 2013 - dl.acm.org
Papers on functional language implementations frequently set the goal of achieving
performance" comparable to C", and sometimes report results comparing benchmark results …

Mining massive vector data on single instruction multiple data microarchitectures

C Böhm, C Plant - 2015 IEEE International Conference on Data …, 2015 - ieeexplore.ieee.org
Current microarchitectures are equipped with SIMD instruction sets enabling massive data
parallelism within each core. Instruction sets like AVX or SSE operate on large reserved …

Pure functions in C: A small keyword for automatic parallelization

T Süß, L Nagel, MA Vef, A Brinkmann, D Feld… - International Journal of …, 2021 - Springer
The need for parallel task execution has been steadily growing in recent years since
manufacturers mainly improve processor performance by increasing the number of installed …

A run control framework to streamline profiling, porting, and tuning simulation runs and provenance tracking of geoscientific applications

W Sharples, I Zhukov, M Geimer… - Geoscientific model …, 2018 - gmd.copernicus.org
Geoscientific modeling is constantly evolving, with next-generation geoscientific models and
applications placing large demands on high-performance computing (HPC) resources …

A modern look at GRIN, an optimizing functional language back end

P Podlovics, C Hruska, A Pénzes - Acta Cybernetica, 2022 - cyber.bibl.u-szeged.hu
GRIN is short for Graph Reduction Intermediate Notation, a modern back end for lazy
functional languages. Most of the currently available compilers for such languages share a …

A survey on concepts and the state of the art of functional programming languages

SL Jian, K Lu, XP Wang - Systems and Computer Technology …, 2014 - api.taylorfrancis.com
Functional programming languages have a long history and receive more and more
attention today. The paper focuses on the development of functional languages and aims to …

And now for something completely different: running Lisp on GPUs

T Süß, N Döring, A Brinkmann… - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
The internal parallelism of compute resources increases permanently, and graphics
processing units (GPUs) and other accelerators have been gaining importance in many …