Searching for authors named "Viktor Vafeiadis" – sorted by Relevance.
-
Proving correctness of highlyconcurrent linearisable objects
- Proving Correctness of Highly-Concurrent Linearisable Objects Viktor Vafeiadis Computer Laboratory
- Cited by 14 (5 self) – Add To MetaCart
-
Modular fine-grained concurrency verification
- -grained concurrency verification Viktor Vafeiadis July 2008 15 JJ Thomson Avenue Cambridge CB3 0FD United Kingdom
- Cited by 2 (1 self) – Add To MetaCart
-
A marriage of rely/guarantee and separation logic
- Technical Report Number 687 A marriage of rely/guarantee and separation logic Viktor Vafeiadis
- Cited by 13 (3 self) – Add To MetaCart
-
Modular safety checking for fine-grained concurrency
- , and Viktor Vafeiadis 2 1 Imperial College, London 2 University of Cambridge Abstract. Concurrent programs
- Cited by 5 (1 self) – Add To MetaCart
-
Proving That Non-Blocking Algorithms Don’t Block
- Microsoft Research Matthew Parkinson University of Cambridge Viktor Vafeiadis Microsoft Research Abstract A
- Add To MetaCart
-
Software Systems
- Research Ashutosh Gupta Max Planck Institute for Software Systems Viktor Vafeiadis Microsoft Research
- Add To MetaCart
-
Deny-guarantee reasoning
- -guarantee reasoning Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis January 2009 15 JJ Thomson Avenue
- Add To MetaCart
-
Acute: High-level programming language design for distributed computation
- . Leifer † Keith Wansbrough ∗ Francesco Zappa Nardelli † Mair Allen-Williams ∗ Pierre Habouzit † Viktor
- Cited by 34 (10 self) – Add To MetaCart
-
The Design of Distributed Programming Languages
- Strniˇsa, Asis Unyapoth, Viktor Vafeiadis, Jan Vitek, Keith Wansbrough, Pawe̷l Wojciechowski, Francesco
- Add To MetaCart

