Étudiants/Post-docs - Matthieu Moy

Articles de cette rubrique

Julian Bruyat

Identifying Optimisation Conflicts in LLVM

Années: 2019 (Projet d’orientation en Master (POM)) Co-encadrant: Laure Gonnord Sujet: Identifying Optimisation Conflicts in LLVM > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2024 Journal articles ref_biblioJulian Bruyat, Pierre-Antoine Champin, Lionel Médini, Frédérique Laforest. PRSC: from PG to RDF and back, using schemas. Semantic Web – Interoperability, Usability, Applicability, 2024. (...)

Lire la suite...
Amaury Maillé

Dataflow Explicit Futures

Années: 2019 (M2R) Co-encadrant: Ludovic Henrio Sujet: Dataflow Explicit Futures > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2023 Theses ref_biblioAmaury Maillé. Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing. Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2023. English. ⟨NNT : 2023ENSL0041⟩. (...)

Lire la suite...
Bilel Aouadhi

Debugging and visualization tools for process networks

Années: 2018 (Projet de fin d’étude (ingénieur)) Co-encadrant: Christophe Alias Sujet: Debugging and visualization tools for process networks > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;

Lire la suite...
Juliana Du

Contributions to Chamilotools

Années: 2017 (L2 Internship) Sujet: Contributions to Chamilotools > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2024 Conference papers ref_biblioJuliana Du, Barbara Pascal, Patrice Abry. Synthetic Spatiotemporal Covid19 Infection Counts to Assess Graph-Regularized Estimation of Multivariate Reproduction Numbers. 32th European Signal Processing Conference (EUSIPCO), Aug 2024, Lyon, France. (...)

Lire la suite...
Alexandra Dobre

Code Generation for Simulation using SystemC

Années: 2018 (Stage L3) Co-encadrant: Christophe Alias Sujet: Code Generation for Simulation using SystemC Résumé: The internship took place in Lyon, France, at LIP (Laboratoire de l’Informatique du Parallélisme), which is associated with CNRS (Centre national de la recherche scientifique), ENS (École Normale Supérieure) de Lyon, INRIA (Institut National de Recherche en Informatique et en Automatique) and Université Claude Bernard Lyon 1. The team in which I worked is the CASH team. Its name stands for Compilation and Analyses, Software and Hardware, which slightly sums up their interest (...)

Lire la suite...
Ligia Novacean

CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS

Années: 2018 (Stage L3) Co-encadrant: Christophe Alias Sujet: CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS Résumé: This internship took place at LIP (Laboratoire de l’Informatique du Parallelisme), a computer science laboratory in Lyon, associated with CNRS, ENS Lyon, INRIA and UCB Lyon 1. As an intern, I was part of a research team, namely CASH (Compilation and Analysis, Software and Hardware). The main objective of CASH is to provide energy-efficient software and hardware compilation techniques by taking advantage of architectures like multi-core processors, GPUs or FPGAs. Today’s (...)

Lire la suite...
Liliana Andrade

Power and temperature model in the presence of loose information, state-space exploration

Années: 2016, 2017 (Post-doc) Sujet: Power and temperature model in the presence of loose information, state-space exploration Résumé: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). We first proposed a method to simulate exhaustively the state-space in the absence of feedback loop from the (...)

Lire la suite...
SangHoon Kwak

Power and temperature model in the presence of loose information

Années: 2015 (Post-doc) Sujet: Power and temperature model in the presence of loose information Résumé: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; (...)

Lire la suite...
Denis Becker

Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau

Années: 2014, 2015, 2016, 2017 (CIFRE Ph. D) Co-encadrant: Jérôme Cornet Sujet: Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau Résumé: Les systèmes sur puce sont constitués d’une partie matérielle (un circuit intégré) et d’une partie logicielle (un programme) qui utilise les ressources matérielles de la puce. La conséquence de cela est que le logiciel d’un système sur puce est intrinsèquement lié à sa partie matérielle. Les composants matériels d’accélération sont des facteurs clés de différenciation d’un produit à l’autre. Il est nécessaire de pouvoir (...)

Lire la suite...
Hamza Rihani

Analyse temporelle des systèmes temps- réels sur architectures pluri-cœurs

Années: 2014, 2015, 2016, 2017 Co-encadrant: Claire Maiza Sujet: Analyse temporelle des systèmes temps- réels sur architectures pluri-cœurs Résumé: Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system’s correctness. As many safety-critical systems have a growing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasingly popular solution is the use of multi-core systems, (...)

Lire la suite...
Amaury Graillat (PhD)

Code Generation for Multi-Core Processor with Hard Real-Time Constraints

Années: 2015, 2016, 2017, 2018 (CIFRE Ph. D) Co-encadrant: Pascal Raymond Sujet: Code Generation for Multi-Core Processor with Hard Real-Time Constraints Résumé: La plupart des systèmes critiques sont dits « temps-réel dur » puisqu’ils requièrent des garanties temporelle fortes. Ces systèmes sont de plus en plus complexes et les processeurs mono-cœurs traditionnels ne sont plus assez puissants. Les multi-cœurs et les pluri-cœurs sont des alternatives plus puissantes, cependant ils contiennent des ressources partagées. Les accès concurrents à ces ressources provoquent des interférences qui (...)

Lire la suite...
Amaury Graillat (M2R)

Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures

Années: 2015 (M2R) Co-encadrant: Florence Maraninchi Sujet: Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures Résumé: Reactive systems are systems that constantly react to their environment. One must guarantee that the computation time of the system is bounded and matches the input-output latency imposed by the environment (for instance the period of measure of the altitude for a flight control system). We talk about multi-periodic systems when the nodes of a program are running at different periods. Today, reactive programs are more and (...)

Lire la suite...
Mamoudou Bah

Contributions to the tool Verse

Années: 2014 (CCI Internship) Co-encadrant: Catherine Parent Sujet: Contributions to the tool Verse Résumé: Mamoudou worked on improvements and bugfixes on the tool Verse, previously designed by Hugues de Lassus Saint Geniès. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: (...)

Lire la suite...
Gaetan Sancassani

Programmation parallèle pour la modélisation des systèmes embarqués

Années: 2014 (TER UJF) Sujet: Programmation parallèle pour la modélisation des systèmes embarqués Résumé: Le but du TER est de valider le fonctionnement de la bibliothèque sc-during à l’aide de quelques exemples plus réalistes que les tests unitaires existants. En particulier, un module de communication par FIFO a été développé. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: (...)

Lire la suite...
Amaury Graillat (IRL)

Simulation distribuée pour les systèmes embarqués

Années: 2014 (IRL Ensimag) Sujet: Simulation distribuée pour les systèmes embarqués Résumé: L’outil développé est basé sur la bibliothèque sc-during, qui permet une exécution parallèle de programmes SystemC. La bibliothèque a été enrichie avec un mode distribué, basé sur la bibliothèque MPI et qui permet non-seulement de déléguer des calculs à des threads, mais aussi à des processus séparés éventuellement exécutés sur une machine distante. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: (...)

Lire la suite...
Guillaume Sergent

Techniques de compilation dédiées pour un langage spécifique à un domaine

Années: 2014 (M2R) Sujet: Techniques de compilation dédiées pour un langage spécifique à un domaine Résumé: The goal of the internship was to write an optimizer for SystemC programs, able to optimize significantly real-life programs. Durning the internship, the prototype PinaVM-tweto was considerably improved, both in terms of internal architecture and concrete performance. A static optimizer was added in addition to the JIT-based one. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: (...)

Lire la suite...
Hanan Kanso

Implementing critical systems on many-core architectures : Towards solutions preserving determinism

Années: 2014 (M2R) Co-encadrant: Florence Maraninchi Sujet: Implementing critical systems on many-core architectures : Towards solutions preserving determinism Résumé: Shifting to many-core architectures is becoming compulsory for real-time applications demanding intensive computing capabilities. Nonetheless, the gain in performance of many-core architectures does not come for free. In particular, it comes at the cost of predictability and determinism issues. Logical determinism is the property of programs that for the same sequence of inputs always give the same sequence of outputs. (...)

Lire la suite...
Hugues de Lassus Saint-Geniès

Semantic Analysis for Worst-Case Execution Time Analysis

Années: 2014 (Stagiaire M1) Co-encadrant: Claire Maiza Sujet: Semantic Analysis for Worst-Case Execution Time Analysis Résumé: Hard real-time systems like planes or cars are controlled by software tasks. We say these systems are hard real-time systems because the tasks which control them have to terminate within a certain amount of time to ensure that the system will not be late for its next action. Measuring execution times on targetted architectures may be sufficient for some real-time systems, but not for hard ones. Indeed, this method does not ensure that the measured worst-case (...)

Lire la suite...
Francesco Bongiovanni

Optimization of the sc-during library

Années: 2013 (Post-doc) Co-encadrant: Florence Maraninchi Sujet: Optimization of the sc-during library > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2013 Conference papers ref_biblioRim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma. Verification of a Dynamic Management Protocol for Cloud Applications. 11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct (...)

Lire la suite...
Eduardo León

Graphic Visualization Of Simulation Traces For SoC

Années: 2013 (IRL Ensimag) Co-encadrant: Claude Helmstetter Sujet: Graphic Visualization Of Simulation Traces For SoC > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;

Lire la suite...