Home > Research > Students/Post-docs

Students/Post-docs

Latest update : 7 March.

Articles in this section

  • 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. > .ChampRes (...)
    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...
  • Henry-Joseph Audeoud

    Comparaison d’approches de parallélisation de SystemC

    Years: 2011 (Excellence Internship) Co-supervisor: Claire Maiza Subject: Comparaison d’approches de parallélisation de SystemC Abstract: Ce stage fait suite au M2R de Samuel Jones et au TER de Mohamed Zaim-Wadghiri: nous disposons maintenant de deux approches complémentaires pour l’exécution parallèle de modèles SystemC, mais de peu d’exemples utilisant ces techniques. Le stage de Henry-Joseph consistait d’une part en une comparaison des approches, et d’autre part à écrire quelques exemples de plate-formes SystemC en utilisant l’une ou l’autre des méthodes. > .ChampRes display:none; (...)
    Read more...
  • Si-Mohamed Lamraoui

    Dedicated Compilation Techniques for SystemC (based on LLVM)

    Years: 2011 (TER UJF, Master 1 internship) Co-supervisor: Claire Maiza Subject: Dedicated Compilation Techniques for SystemC (based on LLVM) Abstract: SystemC is a C++ library allowing the design of the hardware blocks contained in a System-on-chip at different level of abstraction. As SystemC is a C++ library, the programs may be compiled with a common C++ compiler. But these compilers miss a lot of optimization opportunities specific to SystemC programs. In this paper, we introduce a way to improve simulation performances of SystemC programs using the LLVM compiler (...)
    Read more...
  • Julien Henry (M2R)

    Static Analysis by Path Focusing

    Years: 2010, 2011 (M2R) Co-supervisor: David Monniaux Subject: Static Analysis by Path Focusing Abstract: Program verification aims at statically discovering properties on programs, such as the values that can take the different variables during execution. Abstract Interpretation is a technique that computes an over-approximation of the set of these values, since it is impossible to compute the real set in general. This report takes place in the many attempts to improve the precision of static Analysis by Abstract Interpretation. It proposes a technique that takes benefit (...)
    Read more...
  • Samuel Jones

    Optimistic Parallelisation of SystemC

    Years: 2010, 2011 (M2R) Co-supervisor: Claire Maiza Subject: Optimistic Parallelisation of SystemC Abstract: Systems-on-chip (SoCs) are becoming more complex and more widespread. Virtual prototyping tools are critical to the rapid development of embedded software. SystemC is the industry standard for simulation of SoCs today; however, its performance is becoming an issue. We describe an experiment in parallelising SystemC for SMP machines by running multiple schedulers each responsible for a subset of the available SystemC processes. Each scheduler has its own local time and does (...)
    Read more...
  • Marc Pegon

    Analyse de programmes par interprétation abstraite

    Years: 2011 (IRL Ensimag) Co-supervisor: David Monniaux Subject: Analyse de programmes par interprétation abstraite Abstract: L’interprétation abstraite est une méthode d’analyse statique utilisée dans plusieurs outils industriels d’analyse de programmes. Dans ce document, nous montrons comment il est possible de réaliser très rapidement un analyseur de programmes C par interprétation abstraite à l’aide d’outils biens choisis ­ les bibliothèques LLVM et Apron. Après un bref rappel sur l’interpré- tation abstraite, nous présentons ces outils, puis nous donnons les détails d’implémentation de notre (...)
    Read more...
  • Guillaume Sarrazin

    Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines

    Years: 2011 (IRL Ensimag) Co-supervisor: Karine Altisen Subject: Étude d’un algorithme de fermeture causale sur des courbes d’arrivée ayant des parties affines Abstract: ac2lus est un outil utilisant une paire de courbes définissant le flux minimal et maximal d’événements qui peuvent arriver durant un intervalle de temps. Ces courbes sont appelées courbes d’arrivée. Sans aucun traitement, ces courbes peuvent amener l’outil dans une situation de dead-lock à cause de contraintes implicites exprimées par la courbe. Un algorithme de causalification permet d’expliciter les contraintes implicites. (...)
    Read more...
  • Mohamed Zaim-Wadghiri

    Years: 2011 (IRL Ensimag) Co-supervisor: Claire Maiza Abstract: SystemC est un langage de description de matériel (HDL : Hardware Description Language) permettant une modélisation de haut niveau des systèmes sur puce (SoC), que ce soit au niveau matériel ou logiciel. C’est une bibliothèque C++ qui modélise chaque bloc matériel du SoC par une classe appelée module, et décrit son comportement à l’aide de processus. La simulation dans SystemC est gérée par un scheduler qui n’est pas préemptif. La simulation est donc dite coopérative et n’exploite qu’un seul processeur sur la machine. L’objet du (...)
    Read more...
  • Ranjan Ravi

    Improving the SPIN backend of PinaVM

    Years: 2010 (Bachelor of engineering) Co-supervisor: Kevin Marquet Subject: Improving the SPIN backend of PinaVM > .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; 2016 Journal articles ref_biblioJ. Adam, H. Borel, V.J.G. Feuillard, B. Hippolyte, C. Kuhn, et al.. Multi-strange baryon production in p-Pb collisions at $\sqrts_\mathbfNN=5.02$. Physics Letters B, Elsevier, 2016, 758, (...)
    Read more...
  • Loïc Crétin

    Développement d’un mini analyseur statique de code intégré dans Éclipse

    Years: 2008 (IRL Ensimag) Co-supervisor: David Monniaux Subject: Développement d’un mini analyseur statique de code intégré dans Éclipse > .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; Search Results --> Url version détaillée , Url version formatée Criteria : Author : "Lo" Number of occurrences founded : (...)
    Read more...
  • Yanhong Liu

    Granularity-based interfacing between RTC and timed automata

    Years: 2008, 2009 (Post-doc) Co-supervisor: Karine Altisen Subject: Granularity-based interfacing between RTC and timed automata > .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; 2017 Journal articles ref_biblioBeatrice S. Melin, Jill S. Barnholtz-Sloan, Margaret R. Wrensch, Christoffer Johansen, Dora Il'Yasova, et al.. Genome-wide association study of glioma subtypes identifies specific (...)
    Read more...
  • Romain Salles

    Model-checking de programmes Java

    Years: 2009 (IRL Ensimag) Co-supervisor: David Monniaux Subject: Model-checking de programmes Java Abstract: Ce sujet était au départ inspiré du sujet de Loïc Crétin l’année précédente. Vu les difficultés que posaient l’intégration des briques de base, nous avons décidé de nous passer d’un certain nombre d’entre elles : pas de front-end de compilateur complexe, pas de bibliothèque externe. Cette-fois, nous travaillons avec le byte-code Java, et la seule bibliothèque est ASM, qui permet de lire simplement ce byte-code. L’idée est de générer du code pour le model-checker NuSMV, et de l’utiliser pour (...)
    Read more...
  • Nabila Abdessaied

    Design of a Java Simulator for Fast Prototyping of System-on-chip

    Years: 2009 (M2R) Co-supervisor: Giovanni Funchal Subject: Design of a Java Simulator for Fast Prototyping of System-on-chip Abstract: The work carried out in this document deals with designing a prototype of a transactional simulator avoiding preconceived ideas and stereotypes of SystemC. We identify the constraints imposed on the im- plementation of a transactional model in a simulator. We define then a library from Java language for writing TL models. The mechanism of Java threads is particularly suited for this study. Thus we demon- strate the ability to model transactional (...)
    Read more...
  • Xavier Jean

    Étude des performances dans les systèmes embarqués, entre simulation numérique et solution équationnelle

    Years: 2009 (Master 1 internship) Co-supervisor: Karine Altisen Subject: Étude des performances dans les systèmes embarqués, entre simulation numérique et solution équationnelle Abstract: Current embedded systems are getting more and more complex, whereas their developement cycles are getting shorter and shorter. During the industrial design phase, engineers expect an approximation of the system’s performances, before any physical prototype has been made, and while the system has only a high level abstraction description. In order to answer to the growing complexity of systems, an (...)
    Read more...
  • Mohamed Taoufiq El Aissaoui

    Modélisation du temps dans un simulateur pour systèmes sur puces

    Years: 2010 (IRL Ensimag) Co-supervisor: Giovanni Funchal Subject: Modélisation du temps dans un simulateur pour systèmes sur puces Abstract: Le but du stage est d’expérimenter de nouvelles primitives pour la modélisation du temps dans jTLM. Lors du stage de Nabila Abdessaied, nous avions déjà ajouté la notion de tâches avec durée connue, et l’idée était cette fois-ci de donner la possibilité au programmeur d’utiliser des tâches de durée inconnue à l’avance (un exemple typique étant une boucle d’attente active). > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; (...)
    Read more...
  • Florian Guffon

    Étude des possibilités d’utilisation de Aspic dans Ac2lus

    Years: 2010 (Excellence Internship) Co-supervisor: Karine Altisen Subject: Étude des possibilités d’utilisation de Aspic dans Ac2lus > .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;
    Read more...
  • Rafael Velasquez

    Portability with respect to execution model in system-on-chip simulation

    Years: 2010 (TER UJF) Co-supervisor: Giovanni Funchal Subject: Portability with respect to execution model in system-on-chip simulation Abstract: Ce travail a été effectué sur un prototype de simulateur transactionnel pour les systèmes sur puces, appelé jTLM. Il s’agit d’intégrer certaines fonctionnalités pour pouvoir expérimenter différents modèles d’exécution, et mieux comprendre leur impact sur la manière d’écrire le logiciel embarqué. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; (...)
    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