There are 7 Results with the keyword : "data"
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.
"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
Séminaire des équipes de recherche
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)
Research team seminar
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)
Research Teams' Seminar
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)
Inria Research Centers
- Paris (7)