Home > Research > Students/Post-docs

Students/Post-docs

Latest update : 8 October.

Articles in this section

  • Alexandra Dobre

    Code Generation for Simulation using SystemC

    Years: 2018 (L3 Internship) Co-supervisor: Christophe Alias Subject: Code Generation for Simulation using SystemC Abstract: 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 (...)
    Read more...
  • Ligia Novaceann

    CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS

    Years: 2018 (L3 Internship) Co-supervisor: Christophe Alias Subject: CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS Abstract: 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 (...)
    Read more...
  • Liliana Andrade

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

    Years: 2016, 2017 (Post-doc) Subject: Power and temperature model in the presence of loose information, state-space exploration Abstract: 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 (...)
    Read more...
  • SangHoon Kwak

    Power and temperature model in the presence of loose information

    Years: 2015 (Post-doc) Subject: Power and temperature model in the presence of loose information Abstract: 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). Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme (...)
    Read more...
  • Denis Becker

    Parallel SystemC/TLM Simulation of Hardware Components described for High-Level Synthesis

    Years: 2014, 2015, 2016, 2017 (CIFRE Ph. D) Co-supervisor: Jérôme Cornet Subject: Parallel SystemC/TLM Simulation of Hardware Components described for High-Level Synthesis Abstract: Systems on chip consist in a hardware part (an integrated circuit) and a software part (a program) that uses the hardware resources of the chip. Consequently, the embedded software is intrinsically connected to the chip hardware. Hardware acceleration components are key differentiation factors from one product to another. It is necessary to simulate systems on chip very early in the design flow; before (...)
    Read more...
  • Hamza Rihani

    Many-Core Timing Analysis of Real-Time Systems

    Years: 2014, 2015, 2016, 2017 Co-supervisor: Claire Maiza Subject: Many-Core Timing Analysis of Real-Time Systems Abstract: 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, even in the (...)
    Read more...
  • Amaury Graillat (PhD)

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

    Years: 2015, 2016, 2017, 2018 (CIFRE Ph. D) Co-supervisor: Pascal Raymond Subject: Code Generation for Multi-Core Processor with Hard Real-Time Constraints Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme CornetChild node: <biblFull> <titleStmt> <title xml:lang="en">Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study</title> <author role="aut"> (...)
    Read more...
  • Amaury Graillat (M2R)

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

    Years: 2015 (M2R) Co-supervisor: Florence Maraninchi Subject: Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures Abstract: 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 (...)
    Read more...
  • Mamoudou Bah

    Contributions to the tool Verse

    Years: 2014 (CCI Internship) Co-supervisor: Catherine Parent Subject: Contributions to the tool Verse Abstract: Mamoudou worked on improvements and bugfixes on the tool Verse, previously designed by Hugues de Lassus Saint Geniès. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme CornetChild node: <biblFull> <titleStmt> <title xml:lang="en">Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case (...)
    Read more...
  • Gaetan Sancassani

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

    Years: 2014 (TER UJF) Subject: Programmation parallèle pour la modélisation des systèmes embarqués Abstract: 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é. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme CornetChild node: <biblFull> <titleStmt> <title xml:lang="en">Parallel (...)
    Read more...
  • Amaury Graillat (IRL)

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

    Years: 2014 (IRL Ensimag) Subject: Simulation distribuée pour les systèmes embarqués Abstract: 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. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme CornetChild node: (...)
    Read more...
  • Guillaume Sergent

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

    Years: 2014 (M2R) Subject: Techniques de compilation dédiées pour un langage spécifique à un domaine Abstract: 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. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme (...)
    Read more...
  • Hanan Kanso

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

    Years: 2014 (M2R) Co-supervisor: Florence Maraninchi Subject: Implementing critical systems on many-core architectures: Towards solutions preserving determinism Abstract: 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 (...)
    Read more...
  • Hugues de Lassus Saint-Geniès

    Semantic Analysis for Worst-Case Execution Time Analysis

    Years: 2014 (Master 1 internship) Co-supervisor: Claire Maiza Subject: Semantic Analysis for Worst-Case Execution Time Analysis Abstract: 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 (...)
    Read more...
  • Francesco Bongiovanni

    Optimization of the sc-during library

    Years: 2013 (Post-doc) Co-supervisor: Florence Maraninchi Subject: Optimization of the sc-during library Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme CornetChild node: <biblFull> <titleStmt> <title xml:lang="en">Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study</title> <author role="aut"> <persName> <forename (...)
    Read more...
  • Eduardo León

    Graphic Visualization Of Simulation Traces For SoC

    Years: 2013 (IRL Ensimag) Co-supervisor: Claude Helmstetter Subject: Graphic Visualization Of Simulation Traces For SoC Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes. Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume SalagnacChild node: <biblFull> <titleStmt> <title xml:lang="fr">Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes</title> <author role="aut"> <persName> <forename (...)
    Read more...
  • Xavier Poczekajlo

    Optimisations de performances de simulateurs sur machines multi-cœurs

    Years: 2013 (IRL Ensimag) Subject: Optimisations de performances de simulateurs sur machines multi-cœurs Abstract: L’objectif initial de l’IRL était d’utiliser les outils de profiling existants (mutrace par exemple) sur le code d’un simulateur parallèle basé sur SystemC, pour identifier les goulots d’étranglements limitant le passage à l’échelle. Une première constatation était qu’utiliser les outils existants n’était pas immédiat, en particulier les informations fournies par mutrace sont difficilement exploitables sur du code utilisant boost::thread. La contribution du stage est donc un outil (...)
    Read more...
  • Julien Henry (Ph.D)

    Static analysis by abstract interpretation

    PhD defended on Monday, October 13th 2014 Years: 2011, 2012, 2013, 2014 (Ph. D) Co-supervisor: David Monniaux Subject: Static analysis by abstract interpretation Abstract: Julien worked on static analysis by Abstract Interpretation, which is a commonly used technique to discover properties about a program (loop invariants, etc.). This technique computes an over-approximations of the set of possible states of the program. Julien’s topic was to refine this technique by using decision procedures (SMT-solving), in order to compute more precise invariants. Parallel Simulation of (...)
    Read more...
  • Tayeb Bouhadiba

    Power and temperature models for SystemC/TLM

    Years: 2011, 2012 (Post-doc) Co-supervisor: Florence Maraninchi Subject: Power and temperature models for SystemC/TLM Abstract: Modern system-on-chip need sophisticated power-management policies to control their power consumption and temperature. These power-management policies are usually implemented partly in software, with hardware support. They need to be validated early, hence power and temperature-aware simulation techniques at the system-level need to be developed. During this post-doc, we proposed solutions to simulate these power-management policies at a (...)
    Read more...
  • Valentin Bousson

    Dévelopement d’application en langage synchrone pour un robot LeGO NXT

    Years: 2011 (L3 Internship) Co-supervisor: Claire Maiza Subject: Dévelopement d’application en langage synchrone pour un robot LeGO NXT Abstract: L’objectif du stage est de réaliser un démonstrateur des possibilités du langage Lustre pour générer du code embarqué sur brique Légo NXT. Le système comporte plusieurs types de capteurs (son, lumière, ...) et d’actionneurs (moteurs, écran, ...), et donne un bon exemple d’un système embarqué. On peut programmer le processeur nu (ARM), ou utiliser le langage NXC qui permet de faire tourner des programmes sur une machine virtuelle embarquée dans la (...)
    Read more...

0 | 20 | 40

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License