This thesis focuses on scalable data management solutions to accelerate service provisioning and enable efficient execution of data-intensive applications in large-scale distributed clouds. Data-intensive applications are increasingly running on (...)

Les écoulements chargés en particules sont omniprésents dans la nature (coulées pyroclastiques, gouttes d'eau dans les nuages...) et l'industrie (mélangeurs industriels, combustion des gouttelettes de carburants dans un moteur diesel, polluants, etc) (...)

Nous attaquons des problèmes de théorie des graphes et combinatoire grâce à la puissance de calcul des ordinateurs couplée à des algorithmes astucieux. Le théorème des 4 couleurs dit qu’avec 4 couleurs on peut colorier toute carte où les pays sont (...)

Graph-Based Semi-Supervised Learning (G-SSL) learns from labelled and unlabelled data to build better classifiers. Despite successes, its performance can still be improved, particularly in challenging data settings or unbalanced scenarios. To address (...)

La sémantique des jeux est une sémantique dénotationnelle centrée sur l’interaction : preuves et programmes y sont représentés par des stratégies modélisant, par le flot d’exécution, leur manière de réagir à leur environnement. Malgré cette (...)

La cryptographie à base de réseaux euclidiens est un domaine prometteur pour la construction de primitives cryptographiques post-quantiques. Un problème fondamental, lié aux réseaux, est le problème du plus court vecteur (ou SVP, pour Shortest Vector (...)

Quand faut-il éviter de mettre le nez dehors à cause de la pollution ? Peut-on se passer du père Noël ? Pourquoi est-on superstitieux ? Pourquoi ne sent-on pas la Terre tourner ? Pourquoi mange-t-on le dessert en fin de repas ? Comment les bébés (...)

The increasing availability of sensors, mobile phones, and other devices has led to an explosion in the volume, variety and velocity of data generated and that requires analysis of some type. Society is becoming more interconnected producing vast (...)

Rigorous numerics aims at providing certified representations for solutions of various problems, notably in functional analysis, e.g., differential equations or optimal control. Indeed, specific domains like safety-critical engineering or computer (...)

Counting lattice walks confined to cones (première partie) The study of lattice walks confined to cones is a very lively topic in combinatorics and in probability theory, which has witnessed rich developments in the past 20 years. In a typical (...)

Cette thèse se concentre sur la résolution de systèmes linéaires creux dans le contexte d’applications massivement parallèles. Ce type de problèmes s’exprime sous la forme AX=B, où A est une matrice creuse d’ordre n x n, i.e. qui possède un nombre d (...)

A graph is a set of nodes, together links connecting pairs of nodes. With the accumulating amount of data collected, there is a growing interest in understanding the structures and behavior of very large graphs. Nevertheless, the rapid increasing in (...)

L’École normale supérieure de Lyon a l’honneur de remettre les insignes de Doctorat Honoris Causa à Marc Snir, chercheur en informatique ayant la double nationalité américaine et israélienne, professeur d'Informatique à l’Université de l'Illinois à (...)

Venez fêter les 30 ans du Lip ! L'occasion de partager des souvenirs - en présence de nombreux anciens membres du LIP - mais aussi un gros gâteau à l’heure du goûter. La journée se terminera par la cérémonie de remise du Doctorat Honoris Causa (...)

La cryptographie sur les réseaux est l'une des approches les plus compétitifs pour protéger la confidentialité, dans les applications actuelles et l'ère post-quantique. Le problème central qui sert de fondement de complexité de la cryptographie sur (...)

Dans cette thèse, nous étudions des constructions cryptographiques prouvées pour la protection de la vie privée. Pour cela nous nous sommes intéressés aux preuves et arguments à divulgation nulles de connaissances et leurs applications. Un exemple de (...)

Comment organiser et trier de grandes quantités d'informations ? Au cours d'un atelier ludique, les participants découvriront le système des bases de données par la manipulation de cartes perforées. Cet atelier peut être couplé avec la visite (...)

Energy consumption is a growing concern on the verge of Exascale computing, a machine reaching 10^18 operations per seconds, 10 times the actual best public supercomputers, it became a crucial focus. Data centers consumed about 7% of total demand of (...)

This thesis explores co-scheduling problems in the context of large-scale applications with two main focus: the memory side, in particular the cache memory and the resilience side. With the recent advent of many-core architectures such as chip (...)

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 (...)

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 (...)

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, (...)

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 (...)

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 (...)

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 (...)

17 h 00 : Entrée des professeurs en toge 17 h 05 : Ouverture de la cérémonie par M. Jean-François Pinton, Président de l'École normale supérieure de Lyon 17 h 10 : Intermède musical par Mme Mao Hayakawa (piano), du Conservatoire (...)

Le Cloud est devenu une plate-forme très répandue pour le déploiement d'applications distribuées. Aujourd'hui, virtuellement tout titulaire d'une carte bancaire peut avoir accès à des services provenant du Cloud. De plus en plus d'entreprises peuvent (...)