You are here

Thesis

Runtime Optimization Of Binary Through Vectorization Transformations

Abstract :

Speaker: 
Nabil HALLOU (PACAP)

Vérification d'un glaneur de cellules concurrent /Verification of a concurrent garbage collector

(English version below)

Résumé :

Les compilateurs modernes constituent des programmes complexes, réalisant de nombreuses optimisations afin d'améliorer la performance du code généré. Du fait de cette complexité, des bugs y sont régulièrement détecté, conduisant à l'introduction de nouveau comportement dans le programme compilé.

Speaker: 
Yannick Zakowski (CELTIQUE)

Étude exhaustive de voies de signalisation de grande taille par clustering des trajectoires et caractérisation par analyse sémantique

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Jean COQUET intitulée : Étude exhaustive de voies de signalisation de grande taille par clustering des trajectoires et caractérisation par analyse sémantique. Celle-ci aura lieu à l'Irisa / Inria en salle Métivier à 14h00 et sera suivie d'un pot en salle Sein.

Résumé :

Speaker: 
Jean COQUET

Compromis pour l'implémentation d'accelérateurs sur FPGA

(English version below)

Speaker: 
Gaël DEEST (Equipe CAIRN)

Identification d'algorithmes cryptographiques dans du code natif

Identification d'algorithmes cryptographiques dans du code natif

Speaker: 
Pierre Lestringant (EMSEC)

Efficient Big Data Processing on Large-Scale Shared Platforms: Managing I/Os and Failures

You are kindly invited to the PhD thesis defense of Orçun YILDIZ (KerData team) that will take place on Friday, December 8th at 9:30 at the "Salle Métivier" at Inria, and for a drink in Sein meeting room at 5 pm.

Resume:

Speaker: 
Orçun YILDIZ (KerData)

Diffusion MRI processing for multi-compartment characterization of brain pathology

Diffusion weighted imaging (DWI) is a specific type of MRI acquisition based on the direction of diffusion of the brain water molecules. It allows, through several acquisitions, to model the brain microstructure, as white matter, which is significantly smaller than the voxel-resolution.

Speaker: 
Renaud Hedouin

Soutenance de thèse de Antoine Guellier (CIDRE) lundi 22 mai à 10h30 en salle 510 à CentraleSupélec

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Antoine Guellier (équipe CIDRE) le lundi 22 Mai 2017 à 10h30 en salle 510 à CentraleSupélec ainsi qu'au pot qui suivra.

Titre

Communications anonymes dans un réseau homogène

Title
Strongly Private Communications in a Homogeneous Network

 

Résumé

Speaker: 
Antoine Guellier

Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C

Elle sera effectuée en français, et sera suivie d'un pot en salle Sein auquel vous êtes chaleureusement conviés.

Résumé :

Speaker: 
David Bühler (Celtique)

Pages

Subscribe to RSS - Thesis