IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2010 > Towards full verification of concurrent libraries
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Viktor Vafeiadis

viernes 12 de marzo de 2010

11:00am IMDEA conference room

Viktor Vafeiadis, Researcher, University of Cambridge, United Kingdom

Towards full verification of concurrent libraries


Modern programming platforms, such as Microsoft’s .NET, provide libraries of efficient concurrent data structures, which are used in a wide range of applications. In this talk, I will discuss some of the challenges in implementing such concurrent data structures, what correctness of these libraries means, how one can formally prove that a given library is correct, and the extent to which these proofs can be carried out automatically.