Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire du LRI
Doctoral Seminar : Polyhedral compilation, now with graphics!
Oleksandr Zinenko

29 January 2015, 10:15 - 29 January 2015, 10:45
Salle/Bat : 435/PCRI-N
Contact : oleksandr.zinenko@lri.fr

Activités de recherche : Compilation and code optimization

Résumé :
Polyhedral compilation, now with graphics!

Oleksandr Zinenko[1,2]*, Stéphane Huot[1], Cédric Bastoul[3,1]
1. Inria
2. University Paris-Sud
3. University of Strasbourg

The omnipresence of parallel systems urges software developers to use increasingly complex programming models in order to achieve maximal performance. While a multitude of languages and libraries provide convinient ways to express parallelism, identifying it remains a challenging task. We propose an interactive visual approach to compiler-assisted optimizing program transformation based on the state-of-the-art polyhedral representation. It may be used for designing or reworking program transformations faster and safer, or
for explaining optimizing transformations.

Talk should be given in French, but might be given in English upon request.

Pour en savoir plus :
Séminaires
Measuring Similarity between Logical Arguments
Automated Reasoning
Monday 06 March 2023 - 00:00
Salle : 0 - 650
Victor David .............................................

Imputing Out-of-Vocabulary Embeddings with LOVE Ma
Data-Centric Languages and Systems
Monday 20 February 2023 - 00:00
Salle : 455 - PCRI-N
Lihu Chen .............................................

On the Interplay between Software Product Lines an
Automated Reasoning
Tuesday 18 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Automated Reasoning
Thursday 13 October 2022 - 10:30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Automated Reasoning
Tuesday 11 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
.............................................