Sciweavers

Share
716 search results - page 1 / 144
» Automatically Proving Linearizability
Sort
View
CAV
2010
Springer
198views Hardware» more  CAV 2010»
9 years 9 months ago
Automatically Proving Linearizability
Abstract. This paper presents a practical automatic veriļ¬cation procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
Viktor Vafeiadis
PLDI
2010
ACM
9 years 11 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
CAV
2015
Springer
22views Hardware» more  CAV 2015»
4 years 1 months ago
Poling: SMT Aided Linearizability Proofs
Abstract. Proofs of linearizability of concurrent data structures generally rely on identifying linearization points to establish a simulation argument between the implementation a...
He Zhu, Gustavo Petri, Suresh Jagannathan
PLDI
2012
ACM
7 years 8 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
VMCAI
2009
Springer
10 years 19 days ago
Shape-Value Abstraction for Verifying Linearizability
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
Viktor Vafeiadis
books