Campus Event Calendar
Event Entry
What and Who
Towards full verification of concurrent libraries
Viktor Vafeiadis
University of Cambridge
SWS Colloquium
I am a research associate at the University of Cambridge Computer Laboratory, where I did my
undergraduate and postgraduate studies. Previously, I was a postdoc researcher at Microsoft
Research Cambridge.
SWS, RG1
Expert Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 18 March 2010
11:00
60 Minutes
E1 5
5th floor
Saarbrücken
Abstract
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 pitfalls 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.
Contact
Brigitta Hansen
0681 - 9325691
--email hidden
Video Broadcast
Yes
Kaiserslautern
G26
206
passcode not visible
logged in users only
Brigitta Hansen, 03/11/2010 10:43 -- Created document.