Monday, December 12, 2011
Antoine Miné, Junior researcher, École Normale Supérieure, Paris, FranceAstré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 ...
Thursday, November 24, 2011
Misha Aizatulin, PhD Student, Open University, United KingdomExtracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Abstract: Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic so...
Wednesday, November 2, 2011
Ivan Beschastnikh, PhD candidate, University of Washington, USALeveraging Existing Instrumentation to Automatically Infer Invariant-Constrained Models
Abstract: Computer systems are often difficult to debug and understand. A common way of gaining insight into system behavior is to...
Thursday, October 20, 2011
Matthieu Sozeau, PhD Student, INRIA Rocquencourt, FranceFirst-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...