CASH

CASH

Compilation and Analysis, Software and Hardware

Team leader: Matthieu Moy

Keywords: Compilation, high-performance-computing (HPC), parallelism, energy efficiency,
software and hardware, dataflow programs, static analysis, high-level synthesis, polyhedral model,
simulation, hardware accelerators.
   

 

  • Dataflow representations of parallel programs

    Dataflow models are a natural intermediate representation for hardware compilers (HLS) and more generally for parallelizing compilers. A dataflow model is a partition of the computation into processes and a partition of the flow dependences into channels. This partitioning prepares resource allocation and medium-grain communications.

  • Expressivity and Scalability of Static Analyses

    We design expressive and scalable static analyses for compilers. The analyses we design are mainly driven by the HPC dataflow optimizations; however we will also target other kinds of analyses applicable to more general purpose programs.

  • Compilation and Scheduling of Dataflow Programs

    Relying extensively on the polyhedral model, we propose to design  compiler analyses and optimizations for a medium-grain dataflow model. We also exploit these techniques to improve the compilation of dataflow languages based on actors. The polyhedral model was originally designed to analyze imperative programs and must be redefined in light of dataflow semantics.

  • Efficient HLS-specific Dataflow Optimizations

    High-level synthesis (HLS) consists in compiling a kernel into a circuit. We design front-end level compiler algorithms to produce HPC hardware accelerators with the right resource usage (parallelism, data transfers).

  • Simulation of Hardware

    We simulate systems written in the loosely timed coding style where the timing of the platform is not modeled precisely, and which allows the fastest simulations. We also work on the simulation of the data-aware process networks intermediate representation.

 

Main collaborations: XtremLogic, STMicroElectronics, Kalray, and several academic compiler teams (Colorado State Univ (US), Univ of Mineas Gerais (Brasil)

 

Latest News

Postes d'ATER

Deux postes d'ATER à temps plein avec enseignement au Département d'Informatique de l'ENS Lyon et avec recherche au LIP  sont ouverts pour la saison 2024.
L'ensemble des profils de postes de la campagne est en ligne. Les profils sont disponibles sur le site internet de l'ENS de Lyon et et sur Galaxie/ALTAIR.
La clôture des pré-candidatures sur ALTAÏR est fixée au vendredi 09 février à 16h et la clôture pour le dépôt des fichiers de candidature sur DEMATEC au lundi 12 février à 16h.

Contacts:  pour les aspects enseignement Yves Robert et pour les aspects recherche Isabelle Guérin Lassous

University Professor Position

The ENS de Lyon is to open a position for a university professor in computer science, with research at the LIP and teaching in the computer science department. The research profile is open. Given the needs of the department, preference will be given to colleagues likely to teach systems and/or networks, but all applications are welcome, including international ones: teaching can be done in English.

The full description of the position is available on Galaxie. The deadline to apply on Galaxie is 29/03/2024, 16h (Paris time). 

For further information, please contact:
- Eric Thierry, Deputy Director of the Computer Science Department (teaching),
- Nicolas Trotignon, Deputy Director of LIP (research),

Poste d'ingénieur de recherche au LIP en mobilité interne

Le Laboratoire de l'Informatique du Parallélisme propose un poste d'ingénieur de recherche CNRS ouvert en mobilité interne (accessible à tout titulaire de la fonction publique), pour des activités en lien avec l'expérimentation réseau et/ou le développement Rust. Pour plus d'information, voir la fiche de poste.

Contacts: Isabelle Guérin Lassous (isabelle.guerin-lassous@ens-lyon.fr) ou Simon Delamare (simon.delamare@ens-lyon.fr).

Postdoctoral Fellowship 2024
The LIP laboratory is opening a one-year postdoctoral fellowship in Computer Science in Lyon, France.
 
All themes of the laboratory are eligible, in particular: machine learning, computer arithmetic, computer algebra, molecular computing, distributed computing, high performance computing, combinatorics, compilation, complexity, graph theory, quantum computing, logic, computational models, parallelism, proof, scheduling, networks, semantics and verification.
Read More...