Haskell in green land: Analyzing the energy behavior of a purely functional language

LG Lima, F Soares-Neto, P Lieuthier… - 2016 IEEE 23rd …, 2016 - ieeexplore.ieee.org
Recent work has studied the effect that factors such as code obfuscation, refactorings and
data types have on energy efficiency. In this paper, we attempt to shed light on the energy …

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification

AD Barwell, C Brown, K Hammond - Future Generation Computer Systems, 2018 - Elsevier
This paper describes a new technique for identifying potentially parallelisable code
structures in functional programs. Higher-order functions enable simple and easily …

Discovering parallel pattern candidates in Erlang

I Bozó, V Fordós, Z Horvath, M Tóth… - Proceedings of the …, 2014 - dl.acm.org
The ParaPhrase Refactoring Tool for Erlang PaRTE provides automatic, comprehensive and
reliable pattern candidate discovery to locate parallelisable components in Erlang programs …

On Haskell and energy efficiency

LG Lima, F Soares-Neto, P Lieuthier, F Castor… - Journal of Systems and …, 2019 - Elsevier
Background Recent work has studied diverse affecting factors on software energy efficiency.
Objective This paper attempts to shed light on the energy behavior of programs written in a …

[HTML][HTML] An MPI–CUDA library for image processing on HPC architectures

A Galizia, D D'Agostino, A Clematis - Journal of Computational and …, 2015 - Elsevier
Scientific image processing is a topic of interest for a broad scientific community since it is a
mean of gaining understanding and insight into the data for a growing number of …

Paraphrasing: Generating parallel programs using refactoring

C Brown, K Hammond, M Danelutto, P Kilpatrick… - … Symposium on Formal …, 2011 - Springer
Refactoring is the process of changing the structure of a program without changing its
behaviour. Refactoring has so far only really been deployed effectively for sequential …

Profile guided dataflow transformation for FPGAs and CPUs

R Stewart, D Bhowmik, A Wallace… - Journal of Signal …, 2017 - Springer
This paper proposes a new high-level approach for optimising field programmable gate
array (FPGA) designs. FPGA designs are commonly implemented in low-level hardware …

Agricultural reform: more efficient farming using advanced parallel refactoring tools

C Brown, V Janjic, K Hammond… - … , and Network-Based …, 2014 - ieeexplore.ieee.org
Modern multicore systems offer huge computing potential. Exploiting large parallel systems
is still a very challenging task, however, especially as many software developers still use …

Refactorings to enable parallelization

I Bozó, V Fördős, D Horpácsi, Z Horváth… - Trends in Functional …, 2015 - Springer
We propose program analyses to identify parallelizable code fragments, and program
transformations to change those fragments into applications of high-level parallel patterns …

Free the Conqueror! Refactoring divide-and-conquer functions

T Kozsik, M Tóth, I Bozó - Future Generation Computer Systems, 2018 - Elsevier
Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …