Réordonnancement D'instructions Formellement
il y a 1 semaine
**Réordonnancement d'instructions formellement vérifié // Formally verified instruction reordering**:
- Réf **ABG-124128**
**ADUM-57705**
- Sujet de Thèse- 24/05/2024- Université Grenoble Alpes- Lieu de travail- Saint-Martin-d'Hères - France- Intitulé du sujet- Réordonnancement d'instructions formellement vérifié // Formally verified instruction reordering- Mots clés- SSA, ordonnancement, pipeline logiciel, preuve formelle
- SSA, scheduling, software pipelining, formal proof**Description du sujet**:
- Pour l'efficacité de l'exécution des programmes, il peut être nécessaire de réordonner les instructions par rapport à la façon dont elles sont écrites dans le code source. Ainsi, pour exécuter efficacement une boucle, il peut être intéressant d'anticiper certaines instructions du tour de boucle suivant au cours du tour de boucle courant (pipeline logiciel) ou de grouper certaines instructions (vectorisation). Ces réorganisations, faites automatiquement par les compilateurs modernes, sont complexes et il est possible de les réaliser incorrectement.
- En compilation formellement vérifiée il faut démontrer la correction de chaque optimisation. Afin que cela soit humainement faisable tout en conservant une bonne efficacité algorithmique, il faut soigneusement repenser les optimisations, les invariants à préserver.
- La thèse consistera à concevoir des optimisation (pipeline logiciel, ), des algorithmes d'ordonnancement adaptés, des adaptations d'optimisations pour les rendre sensibles à la pression registre, et, par exemple, des approches légères de mise en forme SSA (assignation statique unique).
To execute programs efficiently, it may be necessary to reorder instructions in relation to the way they are written in the source code. For example, to execute a loop efficiently, it may be useful to anticipate certain instructions for the next loop during the current loop (software pipeline) or to group certain instructions (vectorisation). These reorganisations, done automatically by modern compilers, are complex and it is possible to do them incorrectly.
- In formally verified compilation, it is necessary to demonstrate the correctness of each optimisation. In order for this to be humanly feasible while retaining good algorithmic efficiency, we need to carefully rethink the optimisations and the invariants to be preserved.
- The thesis will involve the design of optimisations (software pipelines, etc.), adapted scheduling algorithms, adaptations of optimisations to make them sensitive to register pressure, and, for example, lightweight SSA (single static assignment) shaping approaches.
Début de la thèse : 01/10/2024**Nature du financement**:
**Précisions sur le financement**:
- Concours allocations**Présentation établissement et labo d'accueil**:
- Université Grenoble Alpes**Etablissement délivrant le doctorat**:
- Université Grenoble Alpes**Ecole doctorale**:
- 217 MSTII - Mathématiques, Sciences et technologies de l'information, Informatique- connaissances en ordonnancement compréhension des enjeux des optimisation, de l'allocation de registres, etc. une expérience en preuve formelle serait appréciée mais non obligatoire
- connaissances en ordonnancement compréhension des enjeux des optimisation, de l'allocation de registres, etc. une expérience en preuve formelle serait appréciée mais non obligatoire-
- 09/06/2024
-
Electrotechnicien Automobile
il y a 2 semaines
Lyon, France Formel D France Temps pleinFormel D est le prestataire de services mondial de l'industrie automobile. Nous développons des concepts leaders sur le marché ainsi que des solutions individuelles et évolutives tout au long de la chaîne de valeur automobile, du développement à l'après-vente en passant par la production. L'entreprise a été fondée en 1993 à Cologne, en Allemagne....
-
Electrotechnicien Automobile
il y a 1 semaine
Lyon, Auvergne-Rhône-Alpes, France Formel D France Temps pleinFormel D est le prestataire de services mondial de l'industrie automobile. Nous développons des concepts leaders sur le marché ainsi que des solutions individuelles et évolutives tout au long de la chaîne de valeur automobile, du développement à l'après-vente en passant par la production.L'entreprise a été fondée en 1993 à Cologne, en Allemagne....
-
Responsable de Production Multisite
il y a 3 semaines
Lyon, France Formel D France Temps pleinLe groupe Formel D est un prestataire de services international pour le secteur de l'automobile et de l'approvisionnement en composants. Nous développons des concepts de pointe et des solutions individuelles et évolutives pour l'assurance qualité et l'optimisation des processus tout au long de la chaîne de valeur automobile, du développement à la...
-
Project Manager
il y a 3 semaines
Lyon, France Formel D France Temps pleinLe groupe Formel D est un prestataire de services international pour le secteur de l'automobile et de l'approvisionnement en composants. Nous développons des concepts de pointe et des solutions individuelles et évolutives pour l'assurance qualité et l'optimisation des processus tout au long de la chaîne de valeur automobile, du développement à la...
-
Préparateur de Commande Cariste
il y a 2 semaines
Lyon, France Visio Tech Security Temps pleinDescripción **Descriptif du poste**: Rattaché(e) au Responsable des Opérations, vous ferez partie de l’équipe opérationnelle/logistique pour la France. Vous développerez votre activité depuis notre nouvel entrepôt et aurez à votre charge les missions suivantes: - Effectuer la préparation des commandes selon les instructions de la feuille de...
-
Ingénieur Système H/F
il y a 4 semaines
LYON 1ER ARRONDISSEMENT, France IT Link Temps pleinDans le cadre de l'accroissement de ses activités dans le secteur ferroviaire, IT LINK Lyon recherche un(e) Ingénieur(e) Système.Intégré(e) au sein de nos équipes, vos interviendrez sur :- L'analyse du besoin- La rédaction de spécification fonctionnelles et techniques- Le choix justifié d'une solution technique- La spécification...
-
Garde d’enfants à domicile
il y a 1 mois
Lyon 5e Arrondissement, France Mômji Temps pleinVous êtes dynamique, passionné.e. et vous aimez les enfants ? Découvrez vite nos offres de Garde d'enfants créatives avec activités et jeux fournis !Description du poste :* Garde d'enfants Créative à domicile de 2 enfants - ZORAAN et JADE* Vos tâches pourront inclure : aller chercher les enfants à la sortie de l'école, leur préparer...
-
Garde d’enfants à domicile
il y a 1 mois
Lyon 5e Arrondissement, FR Mômji Temps pleinVous êtes dynamique, passionné.e. et vous aimez les enfants ? Découvrez vite nos offres de Garde d'enfants créatives avec activités et jeux fournis !Description du poste :* Garde d'enfants Créative à domicile de 2 enfants - ZORAAN et JADE* Vos tâches pourront inclure : aller chercher les enfants à la sortie de l'école, leur préparer...
-
Ingénieur Système H/F
il y a 4 semaines
LYON 1ER ARRONDISSEMENT, France IT Link Temps pleinDans le cadre de l'accroissement de ses activités dans le secteur ferroviaire, IT LINK Lyon recherche un(e) Ingénieur(e) Système.Vous intégrerez un service en charge de la spécification d'une famille de produits déployant des solutions de matériel roulant pour les tramways, les métros ou encore les trains.Intégré(e) au sein de nos équipes,...
-
Infirmier en dialyse H/F CDD
il y a 4 semaines
Lyon, France NEPHROCARE RHONE ALPES - NEPHROCARE Temps plein*A propos de NephroCare :* Présent depuis 1969 sur la région lyonnaise, le Centre de NephroCare de Sainte-Foy-Lès-Lyon (Tassin-Charcot) établissement de soins dédié aux consultations néphrologiques et aux traitements par dialyse, accueille et accompagne les patients dans le traitement de leur pathologie. Il est une référence dans les techniques...
-
Ingénieur Système H/F
il y a 4 semaines
LYON 1ER ARRONDISSEMENT, 69001, Lyon, France IT Link Temps pleinDans le cadre de l'accroissement de ses activités dans le secteur ferroviaire, IT LINK Lyon recherche un(e) Ingénieur(e) Système.Intégré(e) au sein de nos équipes, vos interviendrez sur :- L'analyse du besoin- La rédaction de spécification fonctionnelles et techniques- Le choix justifié d'une solution technique- La spécification...
-
Ingénieur Système H/F
il y a 4 semaines
LYON 1ER ARRONDISSEMENT, 69001, Lyon, France IT Link Temps pleinDans le cadre de l'accroissement de ses activités dans le secteur ferroviaire, IT LINK Lyon recherche un(e) Ingénieur(e) Système.Vous intégrerez un service en charge de la spécification d'une famille de produits déployant des solutions de matériel roulant pour les tramways, les métros ou encore les trains.Intégré(e) au sein de nos équipes,...
-
Infirmier en dialyse H/F CDD
il y a 4 semaines
Lyon, France NEPHROCARE RHONE ALPES - NEPHROCARE Temps plein*A propos de NephroCare :* Présent depuis 1969 sur la région lyonnaise, le Centre de NephroCare de Sainte-Foy-Lès-Lyon (Tassin-Charcot) établissement de soins dédié aux consultations néphrologiques et aux traitements par dialyse, accueille et accompagne les patients dans le traitement de leur pathologie. Il est une référence dans les techniques...
-
Chef D'équipe Logistique
il y a 3 semaines
Lyon, France Dispam Temps plein**Référence nationale sur le marché du transport sous température dirigée, notre Groupe connait une croissance significative et maîtrisée. Avec des ambitions de développement affirmées, le groupe recherche pour son agence d’AURADIS basée à Macon (71) un**: **Chef d’équipe logistique Nuit - F/H** **En CDI - Temps Plein - Statut : Agent de...
-
Chef D'équipe Logistique
il y a 4 jours
Lyon, France AURADIS Temps plein**Référence nationale sur le marché du transport sous température dirigée, notre Groupe connait une croissance significative et maîtrisée. Avec des ambitions de développement affirmées, le groupe recherche pour son agence d’AURADIS basée à Macon (71) un**: **Chef d’équipe logistique - F/H** **En CDI - Temps Plein - Statut : Agent de...
-
Configuration & Change Manager Epr1200 (F/H)
il y a 2 semaines
Lyon, Auvergne-Rhône-Alpes, France Framatome Temps plein**Informations générales**:Framatome est détenu par le Groupe EDF (75,5 %), Mitsubishi Heavy Industries (MHI - 19,5 %) et Assystem (5 %).**Référence **: **Date de parution **:26/04/2023**Description du poste**:**Métier**:G - GESTION DE PROJETS CONTRATS & AFFAIRES - G2 - Gestion de Projet**Intitulé du poste**:Configuration & Change Manager EPR1200...
-
Responsable Achats indirects et frais généraux
Il y a 2 mois
Greater Lyon Area, France TIAMA inspection worldwide Temps pleinEn rejoignant la Tiama Team et le groupe KESTREL, vous contribuerez avec passion à l’innovation continue et prendrez part à notre ouverture internationale.Ensemble, rendons possible l’industrie de demain !Envie d'un nouveau challenge ?=> Nous recherchons notre futur "Responsable Achats indirects & Frais Généraux"Raisons d'être du posteIl...
-
Responsable Achats indirects et frais généraux
Il y a 2 mois
Greater Lyon Area, FR TIAMA inspection worldwide Temps pleinEn rejoignant la Tiama Team et le groupe KESTREL, vous contribuerez avec passion à l’innovation continue et prendrez part à notre ouverture internationale.Ensemble, rendons possible l’industrie de demain !Envie d'un nouveau challenge ?=> Nous recherchons notre futur "Responsable Achats indirects & Frais Généraux"Raisons d'être du posteIl...