Sites Inria

Version française

See all appointments

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

25/11/2019

Debug information, usually encoded in the DWARF format, is a hidden and obscure component of our computing infrastructure. Debug information is obviously used by debuggers, but it also plays a key role in program analysis tools, and, most surprisingly, it can be relied upon by the runtime of high-level programming languages.

Place : Inria Paris Center, Room Jacques-Louis Lions 1 (building C)

Guest(s) : Francesco Zappa Nardelli

Keywords:

lire la suite

© INRIA Sophie Auvin - C comme Cryptographie

Research Teams' Seminar

Cambium Seminar

2/12/2019

Due to the nature of quantum computation, we believe that, in this field, formal verification is meant to play a role similar to that of test development in classical computing.

Place : Inria Paris Center, Room Jacques-Louis Lions 1

Guest(s) : Christophe Chareton

Keywords:

lire la suite

Top