8 search results - page 1 / 2 » Shape-Value Abstraction for Verifying Linearizability |
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
ACTA
2006
13 years 5 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...