Sites Inria

There are 7 Results with the keyword : "data"

Logo - La demi-heure de science Inria de Paris

Conférence scientifique

La demi-heure de science

5/11/2015

Place : Inria Rocquencourt, bâtiment 1, amphi Turing

Guest(s) : Vassilis Christophides

Keywords:

Home > Centre > Paris > Calendar > La demi-heure de science

lire la suite

Recherche

New research team : Valda

26/12/2016

The Valda team arrives within the Paris research center and is managed by Pierre Senellart.

Keywords:

Home > Centre > Paris > News > Nouvelle équipe de recherche : Valda

More

Xavier Leroy, in charge of the Inria project-team Gallium of the research centre Inria of Paris © Inria / Photo G. Scagnelli

Recherche

Xavier Leroy: Fellow of the ACM

10/12/2015

Xavier Leroy, head of the Gallium project team at the Inria Paris research center, is one of the new Fellows honored by the American scholarly society ACM in 2015, in a tribute to his decisive work on programming languages and compilers, their reliability and their security.

Keywords:

Home > Centre > Paris > News > Xavier Leroy nommé Fellow de l'ACM

More

© Monsitj / Fotolia

Transfert

See the highlights of the RII # 50yearsInria

30/11/2017

"Our imagination is the only limit for connected objects. Let's be strategic and flexible", Xavier Barras, director of operations, GS1 France, advises us, during the Inria-Industry Meeting dedicated to data and their applications

Keywords:

Home > Centre > Paris > News > Revivez les temps forts de la RII #50ansInria

More

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

17/09/2018

Data layout transformations such as array-of-structures to structure-of-arrays, peeling and splitting of records, can lead to significant performance improvement.

Place : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle A115, bâtiment A

Guest(s) : Ramon Fernandez I Mir (Inria)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team seminar

Gallium seminar

23/09/2019

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely on cleverly designed data representations and algorithms.

Place : Inria de Paris - Room Jacques-Louis Lions - 10:30am

Guest(s) : Jacques Garrigue (Nagoya University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium 'Proving tree algorithms for succinct data structures'

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research Teams' Seminar

Gallium Seminar

3/10/2019

Parsers are a security-critical part of networking software, where bugs can lead to such catastrophes as the 2017 Cloudflare data leaks ("Cloudbleed".) 

We present EverParse, our open-source library and tools for automatic generation of verified efficient parsers for binary transport data formats.

Place : Room Jacques-Louis Lions 1, building C - 10:30am

Guest(s) : Tahina Ramananandro (Microsoft Research, Redmond)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium 'EverParse'

lire la suite

Top