Searching for authors named "Viktor Vafeiadis" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
