Viktor Vafeiadis

Name:	Viktor Vafeiadis
Affiliation:	Microsoft Research Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Fri Sep 26 13:05:49 +0000 2008

Public lists managed by Viktor Vafeiadis

Talks given by Viktor Vafeiadis

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• 'Full Functional Verification of Linked Data Structures', Zee, Kuncak and Rinard
• Full Functional Verification of Linked Data Structures
• RGSep action inference

Talks organised by Viktor Vafeiadis

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Viktor Vafeiadis actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.