The performance of computers has become limited by data movement in the fields of AI, HPC and embedded computing. Hardware accelerators do exist to handle data movement in an energy-efficient way, but there is no programming language that allows them to be implemented in the code supporting the calculations.

It's up to the programmer to explicitly configure DMAs and use function calls for data transfers and do program analysis to identify memory bottleneck

In addition, compilers were designed in the 80s, when memories worked at the same frequency as computing cores.

The aim of this thesis will be to integrate into a compiler the ability to perform optimizations based on data transfers.