Ordonnancement concurrent d'applications à grande échelle : mémoire et résilience -Co-scheduling for large-scale applications : memory and resilience 18 sep 2018 Soutenance de thèse 18/09/2018 Cette thèse explore les problèmes liés à l'ordonnancement concurrent dans le contexte des applications massivement parallèle, de deux points de vue: le coté mémoire (en particulier la mémoire cache) et le coté tolérance aux fautes. Avec l'avènement (...)
Stage en informatique "Girls Can Code !" 27 aoû 2018 Autre 27/08/2018 L'association Prologin est fière d'annoncer le retour du stage Girls Can Code! pour la cinquième année consécutive, grâce au soutien de Google, l'EPITA, le Labex Milyon et l'ENS de Lyon. Ce stage dont l'objectif est d'améliorer la parité dans le (...)
Bornes inférieures et algorithmes de reconstruction pour des sommes de puissances affines 11 juil 2018 Soutenance de thèse 11/07/2018 Le cadre général de cette thèse est l'étude des polynômes comme objet de modèles de calcul. Cette approche permet de définir de manière précise la complexité d'évaluation d'un polynôme, puis de classifier des familles de polynômes en fonction de leur (...)
Protein Dynamics by Solid-State NMR with Ultra-Fast Magic-Angle Spinning: from Microcrystals to Amyloid Fibrils and Membrane Proteins 10 juil 2018 Soutenance de thèse 10/07/2018 Despite impressive progress in solid-state NMR with magic angle spinning (MAS) for the determination of structure and dynamics of proteins, MAS NMR studies are still far from routine. My work therefore aimed at extending the possibilities of MAS NMR (...)
Ordonnancement de graphes de tâches sur des plates-formes de calcul modernes / Scheduling task graphs on modern computing platforms 04 juil 2018 Soutenance de thèse 04/07/2018 Cette thèse porte sur trois thématiques principales liées à l'ordonnancement de graphes de tâches qui modélise des applications de calcul scientifique sur des plates-formes de calcul modernes: exploiter le parallélisme intrinsèque des tâches, (...)
Ecole Jeune.s Chercheur.se.s en Programmation 25 juin 2018 Colloque 25/06/2018 L'école jeune.s. chercheur.se.s en programmation est une école émanant du GDR Génie Programmation et Logiciel. Les thématiques sont variées, de la preuve de programme à l'étude empirique du logiciel. Elle a lieu du 25 au 29 Juin 2018 à l'ENS de Lyon (...)
Ecole d'été de Recherche - ResCom 2018 "Apprentissage et fouille de données sur les réseaux" 18 juin 2018 École thématique 18/06/2018 Le thème de l'école ResCom 2018 (la 13ème édition) est la « science des données » avec comme sous thème la science des réseaux et l’apprentissage (Data science, Network Science and Machine Learning). Il y a un besoin fort au sein de notre (...)
Detecting and coloring some graph classes 08 juin 2018 Soutenance de thèse 08/06/2018 Graphs are mathematical structures used to model pairwise relations between objects. Despite its simple structures, graphs have applications in various areas like computer science, physics, biology and sociology. The main focus of this work is to (...)
Talk by Don Towsley: "Classical and Quantum Diffusion Convolutional Neural Networks" 31 mai 2018 Conférence 31/05/2018 Abstract: In this talk we present diffusion-convolutional neural networks (DCNNs), a new model for graph-structured data. Through the introduction of a diffusion-convolution operation, we show how diffusion-based representations can be learned (...)
Ordonnancement pour la mémoire et les données 30 mar 2018 Soutenance HDR 30/03/2018 Ce mémoire d'habilitation retrace les travaux que j'ai effectués depuis ma thèse dans le domaine de l'ordonnancement pour les plates-formes de calcul parallèle. Je me suis en particulier intéressé à l'influence de la capacité limitée de la mémoire (...)
Towards Trustworthy Online Voting: Distributed Aggregation of Confidential Data 18 déc 2017 Soutenance de thèse 18/12/2017 Aggregation of values that need to be kept confidential while guaranteeing the robustness of the process and the correctness of the result is necessary for an increasing number of applications. Various kinds of surveys, such as medical ones, opinion (...)
Contributions to program analysis: expressivity and scalability 09 nov 2017 Soutenance HDR 09/11/2017 Computer Science: program analysis, compilation.This last decade was the occasion to see the rise of static analyses that are now no longer reserved for critical embedded systems (airplanes, subways, rockets, etc.). They are now more widely available (...)
Energy Efficient Traffic Engineering in Software Defined Networks 26 oct 2017 Soutenance de thèse 26/10/2017 Ce travail a pour but d'améliorer l'efficacité énergétique des réseaux en éteignant un sous-ensemble de liens par une approche SDN. Nous nous différencions des nombreux travaux de ce domaine par une réactivité accrue aux variations des conditions (...)
Tools for understanding the dynamics of social networks 29 sep 2017 Soutenance de thèse 29/09/2017 Cette thèse fournit au lecteur un recueil d'applications de la théorie des graphes ; dans ce butt, des outils sur mesure, adaptés aux applications considérées, ont été conçus et mis en œuvre de manière inspirée par les données. Dans la première (...)
High Performance Parallel Algorithms for Tensor Decompositions - Algorithmes Parallèles pour les Decompositions 15 sep 2017 Soutenance de thèse 15/09/2017 Tensor factorization has been increasingly used to analyze high-dimensional low- rank data of massive scale in numerous application domains, including recommender systems, graph analytics, health-care data analysis, signal processing, chemometrics, (...)
Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs 05 sep 2017 Soutenance HDR 05/09/2017 – Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel de mon activité est consacrée à l'arithmétique des ordinateurs et, plus précisément, à l'évaluation de fonctions en machine. Un objectif général de (...)
Structures concurrentes en sémantique des jeux / Concurrent structures in game semantics 13 juil 2017 Soutenance de thèse 13/07/2017 La sémantique des jeux permet l'étude et la modélisation abstraite des langages de programmation d'un point de vue mathématique, en gardant assez d'informations concrètes sur la structure des programmes, mais en laissant de côté les détails superflus (...)
Algorithmes d'ordonnancement et schémas de résilience pour les pannes et les erreurs silencieuses - Scheduling algorithms and resilience patterns for fail-stop and silent errors. 07 juil 2017 Soutenance de thèse 07/07/2017 Cette thèse s'intéresse à la résilience pour les applications haute performance à très grande échelle. Sur ce type de plateforme, qui compte jusqu'à plusieurs millions d'unités de calculs, les erreurs représentent la norme plutôt que l'exception. On (...)
Contribution à l’analyse d’algorithmes en arithmétique à virgule flottante / Contribution to error analysis of algorithms in floating-point arithmetic 07 juil 2017 Soutenance de thèse 07/07/2017 L’arithmétique virgule flottante est une approximation de l’arithmétique réelle dans laquelle chaque opération peut introduire une erreur. La norme IEEE 754 requiert que les opérations élémentaires soient aussi précises que possible, mais au cours d (...)
Towards fast and certified multiple-precision librairies 06 juil 2017 Soutenance de thèse 06/07/2017 De nombreux problèmes de calcul numérique demandent parfois à effectuer des calculs très précis. L'étude de systèmes dynamiques chaotiques fournit des exemples très connus: la stabilité du système solaire ou l’itération à long terme de l'attracteur (...)
Avoidability of Abelian Repetitions in Words / Évitabilité des répétitions abéliennes dans les mots 29 juin 2017 Soutenance de thèse 29/06/2017 Dans ce document, nous étudions l’évitabilité de différentes formes de répétitions dans les mots. En particulier 3 des 6 chapitres sont dédiés aux répétitions abéliennes en lien notamment à deux questions d’Erdős de 1957 et 1961. Nous montrons qu’il (...)
Shift spaces on groups : computability and dynamics - Calculabilité et dynamique des sous-décalages sur des groupes 28 juin 2017 Soutenance de thèse 28/06/2017 Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and (...)
Preuves aidées par ordinateur en combinatoire des mots 27 juin 2017 Soutenance HDR 27/06/2017 – Je présente dans ce mémoire une sélection de mes travaux depuis ma prise de poste au CNRS, qui est composé de trois parties.– Les deux premières parties portent sur la combinatoire des mots, et sont dans la continuation des travaux de Thue, c'est-à (...)
Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration - Combinatoire analytique en plusieurs variables: asymptotique efficace et énumération de chemin de treillis 13 juin 2017 Soutenance de thèse 13/06/2017 La combinatoire analytique étudie le comportement asymptotique des suites à travers les propriétés analytiques de leurs fonctions génératrices. Ce domaine a conduit au développement d'outils profonds et puissants avec de nombreuses applications. Au (...)
Meta-modélisation à base de règles pour la curation biologique 22 mai 2017 Soutenance HDR 22/05/2017 – Mes recherches récentes portent sur le développement de techniques et outils pour la modélisation de systèmes complexes ; en particulier, des voies de signalisation dans les cellules qui sont notamment impliquées, en cas de dérèglement, dans de (...)
Deep dive into social network and economic data : a data driven approach for uncovering temporal ties, human mobility, and socioeconomic correlations 16 déc 2016 Soutenance de thèse 16/12/2016 Ces dernières années, la quantité de données digitales personnelles enregistrées explose. La facilité d'enregistrement et de stockage de grosses données combiné au développement rapide d'outils qui permettent d'analyser des données utilisateurs (...)
Robust tools for weighted Chebyshev approximation and applications to digital filter design 07 déc 2016 Soutenance de thèse 07/12/2016 The field of signal processing methods and applications frequently relies on powerful results from numerical approximation. One such example, at the core of this thesis, is the use of Chebyshev approximation methods for designing digital filters. In (...)
Scheduling on Clouds leveraging energy consumption and performance trade-offs: from modelization to industrial applications Ordonnancement avec arbitrage entre la performance et la consommation d'énergie: de la modélisation aux applications industrielles 05 déc 2016 Soutenance de thèse 05/12/2016 L'utilisation massive des services connectés dans les entreprises et les foyers a conduit à un développement majeur des "Clouds" ou informatique en nuage. Les Clouds s'imposent maintenant comme un modèle économique attractif où le client paye pour (...)
Bases of relations in one or several variables: fast algorithms and applications - Bases de relations en une ou plusieurs variables : algorithmes rapides et applications 30 nov 2016 Soutenance de thèse 30/11/2016 Dans cette thèse, nous étudions des algorithmes pour un problème de recherche de relations à une ou plusieurs variables. Il généralise celui de calculer une solution à un système d’équations linéaires modulaires sur un anneau de polynômes, et inclut (...)
