Sites Inria

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

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

17/10/2016

As part of the greatest Everest expedition, we are setting out to implement, verify and deploy a TLS implementation -- TLS is the successor to SSL and is the prevalent secure communication protocol on the internet.

Lieu : India de Paris, Salle C334, bâtiment C

Intervenant(s) : Jonathan Protzenko

Mots-clés :

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

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

12/12/2016

Eliom is a dialect of OCaml for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations.

Lieu : Inria de Paris

Intervenant(s) : Gabriel Radanne - IRIF

Mots-clés :

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

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

5/12/2016

Algebraic effects were originally introduced to study the semantics of computational effects. With the addition of handlers they have become an exciting new programming construct for implementing such effects. Languages such as Eff have demonstrated that handlers can be used as a more compassable alternative to monads for implementing effects in a pure language.

Lieu : Inria de Paris

Intervenant(s) : Leo White - Jane Street LLC

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

9/01/2017

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

Intervenant(s) : Jacques-Henri Jourdan- MPI-SWS

Mots-clés :

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

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

21/02/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 14h30

Intervenant(s) : Pierrick Couderc, Jacques Garrigue

Mots-clés :

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

lire la suite

@Inria

Conférence scientifique

Luc Maranget (Gallium) - Modèles mémoire pour les multiprocesseurs à mémoire partagée

Anais Aires - 2/07/2015

La plupart des systèmes qui s'apparentent à des ordinateurs un tant soit peu sophistiqués comprennent plusieurs unités de calcul qui communiquent par l'intermédiaire d'une mémoire partagée.

Mots-clés :

Accueil > Centre > Paris > Recherche > La demi-heure de science > 2015 > Luc Maranget (Gallium) - Modèles mémoire pour les multiprocesseurs à mémoire partagée

Lire la suite

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

Recherche

Xavier Leroy nommé Fellow de l'ACM

10/12/2015

Xavier Leroy, responsable de l'équipe-projet Gallium du centre de recherche Inria de Paris, fait partie des nouveaux Fellows distingués par la société savante américaine ACM en 2015. L'ACM salue ainsi ses travaux décisifs sur les langages de programmation et les compilateurs, leur fiabilité et leur sécurité.

Mots-clés :

Accueil > Centre > Paris > Actualités > Xavier Leroy nommé Fellow de l'ACM

Lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

27/03/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Thomas Williams (Inria Paris)

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

18/04/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Armaël Guéneau

Mots-clés :

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

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

4/05/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Pierre-Marie Pédrot (Université de Ljubljana)

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria