Bringing Parallel Patterns Out of the Corner: The P3 ARSEC Benchmark Suite

D De Sensi, T De Matteis, M Torquati… - ACM Transactions on …, 2017 - dl.acm.org
High-level parallel programming is an active research topic aimed at promoting parallel
programming methodologies that provide the programmer with high-level abstractions to …

Musket: a domain-specific language for high-level parallel programming with algorithmic skeletons

C Rieger, F Wrede, H Kuchen - Proceedings of the 34th ACM/SIGAPP …, 2019 - dl.acm.org
Parallel programming for an infrastructure of multi-core or many-core clusters is a challenge
for developers without experience in this domain. Developers need to use several libraries …

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 …

Refactoring GrPPI: generic refactoring for generic parallelism in C++

C Brown, V Janjic, AD Barwell, JD Garcia… - International Journal of …, 2020 - Springer
Abstract The Generic Reusable Parallel Pattern Interface (GrPPI) is a very useful abstraction
over different parallel pattern libraries, allowing the programmer to write generic patterned …

Online and transparent self-adaptation of stream parallel patterns

A Vogel, G Mencagli, D Griebler, M Danelutto… - Computing, 2023 - Springer
Several real-world parallel applications are becoming more dynamic and long-running,
demanding online (at run-time) adaptations. Stream processing is a representative scenario …

Semi-automatic ladderisation: improving code security through rewriting and dependent types

C Brown, AD Barwell, Y Marquer, O Zendra… - Proceedings of the …, 2022 - dl.acm.org
Cyber attacks become more and more prevalent every day. One type of cyber attack is
known as a side channel attack, where attackers exploit information leakage from the …

Verifying parallel code after refactoring using equivalence checking

M Abadi, S Keidar-Barner, D Pidan… - International Journal of …, 2019 - Springer
To take advantage of multi-core systems, programmers are replacing sequential software
with parallel software. Software engineers often avoid writing their parallel software from …

[PDF][PDF] Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.

AD Barwell, C Brown, K Hammond, W Turek… - Computing & …, 2016 - cai.type.sk
This paper considers how to use program shaping and algorithmic skeletons to parallelise a
multi-agent system that is written in Erlang. Program shaping is the process of transforming a …

Self-adaptive abstractions for efficient high-level parallel computing in multi-cores

AJ Vogel - 2022 - tede2.pucrs.br
Atualmente, uma parte significativa dos sistemas computacionais e aplicações do mundo
real demandam paralelismo para acelerar suas execuções. Embora a programação …

Automatically deriving cost models for structured parallel processes using hylomorphisms

D Castro, K Hammond, S Sarkar, Y Alguwaifli - Future Generation …, 2018 - Elsevier
Structured parallelism using nested algorithmic skeletons can greatly ease the task of writing
parallel software, since common, but hard-to-debug, problems such as race conditions are …