Sites Inria

Version française

See all appointments

© INRIA Sophie Auvin - P comme Protocole

Project-team seminar

Prosecco seminar

29/11/2017

Usuba: An optimizing & trustworthy bitslicing compiler

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

Guest(s) : Darius Mercadier (LIP6)

Keywords:

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Project-Team Séminars

Prosecco Seminar

12/12/2017

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

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

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

Keywords:

lire la suite

Top