Internet and smartphones accompany our daily life and make many tasks easier for us. While some of the successes of new technologies are undeniable, there is a counterpart: we have become data producers, coveted by many companies or government agencies.
Place : FUN
Guest(s) : Cédric Laradoux and Vincent Roca
Resarch team 's seminary
Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.
Place : Inria de Paris- 2 rue Simone Iff- 75012
Guest(s) : Hugo Illous- ENS