Sites Inria

Il y a 87 Résultats avec le mot clé : "Gallium"

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Prix et distinctions

Most influential POPL paper

25/01/2016

Xavier Leroy, responsable de l'équipe-projet Gallium a reçu le "Most influential POPL paper" de l'ACM SIGPLAN.

Mots-clés :

Accueil > Centre > Paris > Actualités > Most influential POPL paper

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

25/09/2017

Lieu : Inria de Paris, Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Francesco Zappa Nardelli

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

27/09/2017

Lieu : Inria de Paris, Salle Jacques-Louis Lions 2, bâtiment C - 10h30

Intervenant(s) : Amal Ahmed (Northeastern University)

Mots-clés :

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

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 - 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

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

26/03/2018

Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.

Lieu : Inria de Paris - 2 rue Simone Iff 75012- Batiment C - Salle Jacques Louis Lions

Intervenant(s) : Raphaël Cauderlier

Mots-clés :

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

lire la suite

Prix et distinctions

Deux lauréats au prix de thèse GDR GPL 2016

S.F. (*) - 30/06/2017

Excellente année 2016 pour le centre avec deux lauréats au prix de thèse du GDR Génie de la Programmation et du Logiciel : Jacques-Henri Jourdan (Gallium) remporte le 1er prix et Antoine Delignat-Lavaud (Prosecco) reçoit un accessit.

Mots-clés :

Accueil > Centre > Paris > Actualités > Deux lauréats au prix de thèse GDR GPL 2016

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

6/06/2018

Mechanizing formal systems, given via axioms and inference rules, together with proofs about them plays an important role in establishing trust in formal developments.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 10:30 am

Intervenant(s) : Brigitte Pientka (McGill University)

Mots-clés :

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

lire la suite

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris © Inria / Photo G. Scagnelli

Prix et distinction

Avec Xavier Leroy, l’informatique confirme sa présence au Collège de France

A.A. (*) - 15/06/2018

Fin mai dernier, Xavier Leroy, responsable de l’équipe-projet Gallium chez Inria, a été nommé professeur au Collège de France pour la chaire permanente "Sciences du logiciel". Une très belle reconnaissance pour son parcours scientifique mais également pour la discipline qu’il défend, l’informatique fondamentale.

Mots-clés :

Accueil > Centre > Paris > Actualités > Avec Xavier Leroy, l’informatique confirme sa présence au Collège de France

Lire la suite

Haut de page

Suivez Inria