Analysis and Compilation of Parallel Programming Languages

Abstract : Traditional compilation faces numerous challenges with program optimizations for parallel architectures. A particular challenge is the design of proper intermediate languages and representations to enable the application of relevant optimization techniques.Various parallel intermediate representations and languages have been proposed.To overcome this issue, different alternatives are more and more exploitedsuch as empirical autotuning or interactive compilation. Such alernatives require fondamentally different typesof intermediates languages such as transformation meta-languages. In this thesis, we study transformation meta-languages for numerical applications: wa particularly address four questions:(i) How do we introduce domain-specific expressiveness?(ii) How do we rethink their design to enhance their flexibility in composing optimizations paths and generating multiple program variants?(iii) How far can we introduce NUMA (Non-Uniform Memory Access) awareness?(iv) As a new class of meta-languages, how do we formalize their semantics? We answer these questions through the design and semantics of TeML, a tensor optimizations meta-language.
Document type :
Theses
Complete list of metadatas

Cited literature [135 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-02081178
Contributor : Abes Star <>
Submitted on : Wednesday, March 27, 2019 - 1:06:23 PM
Last modification on : Thursday, April 25, 2019 - 3:07:40 AM
Long-term archiving on : Friday, June 28, 2019 - 2:08:16 PM

File

2018PSLEM046_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02081178, version 1

Citation

Adilla Susungi. Analysis and Compilation of Parallel Programming Languages. Computation and Language [cs.CL]. PSL Research University, 2018. English. ⟨NNT : 2018PSLEM046⟩. ⟨tel-02081178⟩

Share

Metrics

Record views

869

Files downloads

319