*********************************************************************
*                      Ecole Normale Supe'rieure                    *
*                                                                   *
*                             Se'minaire                            *
*               SEMANTIQUE ET INTERPRETATION ABSTRAITE              *
*                             P. Cousot                             *
*                                                                   *
*                       Vendredi, 14h00--15h00                      *
*                         Salle S16, etage -1                       *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************


***  Vendredi 17 octobre 2008, 14h00-15h00 **************************

Syntax-Directed Quantitative Program Analysis

Herbert Wiklicky, Imperial College London
joint work with A. Di Pierro & C. Hankin

Re'sume'/ Abstract:

On one side, classical (static) Program Analysis is commonly concerned with
functional or qualitative properties of programs, while on the other side
Performance Analysis usually investigates non-functional or quantitative
aspects. It has been argued that - for example in the context of embedded
systems - a merger of both frameworks would be desirable. This talk will
discuss some aspects of an attempt to develop such a unifying approach.

Based on a Markov Chain semantics of (probabilistic, imperative) programs -
which can be constructed in a syntax-directed way - we construct quantitative
approximations which allow for the static estimation of non-functional program
properties. Regarding a possible application area we will conclude with recent
results on approximate notions of security and the optimisation of `security
costs'.

*********************************************************************
Pour recevoir l'annonce par courrier electronique:
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************