Sites Inria

Il y a 270 Résultats avec le mot clé : "séminaire"

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire Aost2

2/06/2017

This presentation introduces Chisel, a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics.

Lieu : Inria de Paris, BâtimentC, Salle C234 - 14h00

Intervenant(s) : Irina-Mariuca Asavoae

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Aost2

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

6/06/2017

Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 2, bâtiment C

Intervenant(s) : Jean Yang, Carnegie Mellon University

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

12/12/2017

Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible

Lieu : INRIA - Paris - 2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : William J. Bowman, Northeastern University

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

29/11/2017

Usuba: An optimizing & trustworthy bitslicing compiler

Lieu : INRIA - Paris - 2 rue Simone Iff -Salle Lions 2, bâtiment C

Intervenant(s) : Darius Mercadier (LIP6)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Sémnaire des équipes de Recherche

Séminaire Gallium

4/12/2017

Our work is at the frontier between real-time scheduling and compilation. Our objective is to build parallel software that respects hard real-time requirements.

Lieu : I N R I A Paris - 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions - bâtiment C

Intervenant(s) : Keryan Didier

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

14/12/2017

Provably secure compilation of side-channel countermeasures.

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 - Paris

Intervenant(s) : Vincent Laporte, IMDEA

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

18/12/2017

Rust is a new language developed at Mozilla Research that marries together the low-level flexibility of modern C++ with a strong "ownership-based" type system guaranteeing type safety, memory safety, and data race freedom. Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.

Lieu : Inria de Paris - 2 rue Simone Iff - Salle Lions 1, bâtiment C

Intervenant(s) : Jacques-Henri Jourdan

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Séminaire des équipes de recherche

Séminaire LPMA Inria Mathrisk

7/12/2017 au 13/12/2017

Séminaire LPMA INRIA Mathrisk

Jeudi 7 décembre 9:00- 13:00

Lieu : Université Paris 7 - salle 2015, P7 Sophie Germain

Intervenant(s) : Christa Cuchiero (Vienna university), Olivier Guéant (Paris 1), Aurelien Alfonsi (ENPC), Idris Kharroubi (LPMA-UPMC)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire LPMA Inria Mathrisk

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

23/01/2018

In the formal-methods world, the hardware industry's use of formal verification is often touted as quite advanced compared to the state of practice in software.  The claim seems to be true, but software-verification specialists might be surprised at how weak are the theorems that tend to be proved about hardware.  

In this talk, I will present our Kami framework for the Coq proof assistant, which applies to digital-hardware verification the sorts of functional-correctness techniques that are well-known in the programming-languages community, with some twists.

Lieu : Inria de Paris- 2 rue Simone Iff - Salle Lions 1- bâtiment C

Intervenant(s) : Adam Chlipala

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

5/03/2018

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.

Lieu : Inria de Paris- 2 rue Simone Iff- 75012

Intervenant(s) : Hugo Illous- ENS

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria