CNRS ENS Lyon inria 200x200 blurb
UCB Lyon logo univ lyon 200x200 blurb

LIP Hightlights

Rémi Gribonval a reçu le prix Sustained Impact Paper Award

Rémi Gribonval

Un article co-écrit par Rémi Gribonval a été sélectionné par la IEEE Signal Processing Society, et il a été honoré du prix "Sustained Impact Paper Award".
Vous pouvez consulter la page officielle de la IEEE Signal Processing Society pour plus d'informations sur ce prix.

Award Recipients | IEEE Signal Processing Society

 

PRIX IEEE R GRIBONVAL

LIP / Équipe OCKHAM / Crédits photo © JM. Muller & F. Vivien

Édouard Bonnet a reçu la Médaille de bronze du CNRS

Edouard BONNET

Chaque année le CNRS récompense les femmes et les hommes qui ont le plus contribué à son rayonnement et à l’avancée de la recherche. 

Chargé de recherche CNRS en informatique au Laboratoire de l'informatique du parallélisme de Lyon, Edouard Bonnet est spécialisé dans la théorie des graphes.

Edouard Bonnet a la Médaille de bronze du CNRS, au cours de la cérémonie officielle qui a lieu le 19 décembre.

Vous pouvez découvrir son portait CNRS : Edouard Bonnet I Médaille de bronze du CNRS 2023 I www.cnrs.fr

et celui au format vidéo  : Edouard Bonnet | chercheur en informatique | Talents CNRS (youtube.com)

MEDAILLE BRONZE EDOUARD BONNET

La délégation Rhône Auvergne présente ci-dessous les Talents 2023 de la région.

CNRS_-_Teaser_Talents_2023.png

LIP / Équipe MC2 / Crédits photo portrait © Alexandra Covaci

Carl Feghali a reçu le prix du Best paper ISAAC

Carl Feghali

Carl Feghali, chercheur au LIP, dans l'équipe MC2 a reçu le prix du Best paper ISAAC 2023.

The 34th International Symposium on Algorithms and Computation (ISAAC 2023)
https://www.kurims.kyoto-u.ac.jp/isaac/isaac2023/

Titre : Matching Cuts in Graphs of High Girth and H-Free Graphs (avec Felicia Lucke, Daniël Paulusma et Bernard Ries)

The matching cut problem is to decide if a connected graph has a matching that is also an edge cut. We prove that the matching cut problem is NP-complete for graphs with arbitrary large fixed girth and bounded maximum degree.
This resolves a 20-year old problem that was reiterated several times in the literature.
Moreover, we prove a number of complementary results on the matching cut problem and variants thereof.

En savoir plus : https://arxiv.org/abs/2212.12317

La thermodynamique, 100 % quantique

Thermodynamique

Des chercheurs du Laboratoire de Physique de l’ENS de Lyon et du Laboratoire de l'Informatique du Parallélisme (Cyril Elouard) montrent dans un article récent qu’il est possible d’étendre de façon cohérente la thermodynamique.

Une étude parue dans la revue PRX Quantum.

La thermodynamique, 100 % quantique | École normale supérieure de Lyon (ens-lyon.fr)

Anne Benoit, nomination membre Senior IUF

Anne Benoit

Félicitations à Anne Benoit pour sa nomination en tant que membre senior de l'Institut universitaire de France (IUF)

Lire l'article : IUF 2023 : trois membres à l’ENS de Lyon

Lire la biographie : Anne BENOIT, Informaticienne, Lip | École normale supérieure de Lyon

LIP / Équipe ROMA

 

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)

 

LIP Teams