news-events

HOME / news-events / events / invited-talks / 2011

Antoine Miné

Monday, December 12, 2011

Antoine Miné, Junior researcher, École Normale Supérieure, Paris, France

AstréeA: A static analyzer for embedded multi-threaded C programs

Abstract: In this talk, we present an efficient static analysis based on Abstract Interpretation that aims at proving the absence ...


Abstract: Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic so...


Abstract: Computer systems are often difficult to debug and understand. A common way of gaining insight into system behavior is to...


Matthieu Sozeau

Thursday, October 20, 2011

Matthieu Sozeau, PhD Student, INRIA Rocquencourt, France

First-Class Type Classes for programs and proofs

Abstract: Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and fo...