PhD Position F/ M First Class Optimisations: Code Transformations as Libraries with Partial Evaluation and Analytic Macros

Contexte et atouts du poste

The PhD will take place in the CASH team, in LIP, Lyon, France. It will be supervised by Gabriel
Radanne, Inria researcher, specialist in compilation of high level languages. It will be made in collaboration with
Richard Membarth, Professor at DFKI-Saarbrücken, Germany.

Principales activités

# Abstract

Domain-Specific Languages (DSL) are instrumental in exploring new complex use cases through novel programming techniques.
DSLs have been at a forefront of recent computer science innovations, from blockchains (contract languages) to quantum computing (Quipper, Q#, \dots), including machine learning (TensorFlow, ...). For High Performance Computing (HPC).
Unfortunately, designing such custom optimisations is a difficult task. It requires extending an existing compiler, or even more difficult: creating a new language from scratch.

Some languages, such as AnyDSL ( make defining "Domain Specific Libraries" easier, by leveraging partial evaluation. While this provides a convenient user interface, writing complex code transformations in such a context is still difficult.

This project aims to propose *first class optimisations*, which allow to define optimisations and program transformations as first class objects of the language, similarly to function. Such first class optimisations can be defined by the user for a specific purpose, composed with other transformations, and then packaged as libraries and distributed to other users of the language.

# Full topic: 

Avantages

Rémunération

1st and 2nd year: 2 100 euros gross salary /month

3rd year: 2 190 euros gross salary / month