Search results for "linearizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
119	Torvald Riegel, Christof Fetzer, Heiko Sturzrehm, Pascal Felber	From causal to z-linearizable transactional memory.	PODC	2007	DBLP DOI BibTeX RDF	software transactional memory, linearizability
107	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
103	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
86	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav	Comparison Under Abstraction for Verifying Linearizability.	CAV	2007	DBLP DOI BibTeX RDF
86	Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas	The Impact of Timing on Linearizability in Counting Networks.	IPPS	1997	DBLP DOI BibTeX RDF
86	Hagit Attiya, Jennifer L. Welch	Sequential Consistency versus Linearizability.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF
74	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
70	Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri	Eventually linearizable shared objects.	PODC	2010	DBLP DOI BibTeX RDF	eventual linearizability, availability, graceful degradation
70	Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri	Abortable Fork-Linearizable Storage.	OPODIS	2009	DBLP DOI BibTeX RDF	Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
69	Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001	Model Checking Linearizability via Refinement.	FM	2009	DBLP DOI BibTeX RDF
69	Maurice Herlihy, Jeannette M. Wing	Linearizability: A Correctness Condition for Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
66	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
57	Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh	Verifying linearizability with hindsight.	PODC	2010	DBLP DOI BibTeX RDF	hindsight, linearizability, wait-freedom, optimistic concurrency
57	Michel Raynal	Sequential consistency as lazy linearizability.	SPAA	2002	DBLP DOI BibTeX RDF	sequential consistency, linearizability
54	Michel Raynal, Matthieu Roy	Allowing Atomic Objects to Coexist with Sequentially Consistent Objects.	PaCT	2005	DBLP DOI BibTeX RDF	Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability
53	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
49	Youhui Zhang, Jinfeng Hu, Weimin Zheng	The Flexible Replication Method in an Object-Oriented Data Storage System.	NPC	2004	DBLP DOI BibTeX RDF
49	Kenneth P. Birman	Maintaining consistency in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
49	Yatin P. Saraiya	Hard Problems for Simple Logic Programs.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
49	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
49	Maurice Herlihy, Jeannette M. Wing	Axioms for Concurrent Objects.	POPL	1987	DBLP DOI BibTeX RDF
37	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
37	Christian Cachin, Martin Geisler 0001	Integrity Protection for Revision Control.	ACNS	2009	DBLP DOI BibTeX RDF	Hash trees, memory checking, fork linearizability, storage security, applied cryptography
37	Martin T. Vechev, Eran Yahav	Deriving linearizable fine-grained concurrent objects.	PLDI	2008	DBLP DOI BibTeX RDF	algorithms, model checking, data structures, concurrency, linearizability
37	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
33	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang	Abstraction for Concurrent Objects.	ESOP	2009	DBLP DOI BibTeX RDF
33	Xiaoqiang Zhang, Lin Peng, Lunguo Xie	Lowering Conflicts of High Contention Software Transactional Memory.	CSSE (3)	2008	DBLP DOI BibTeX RDF
33	Christian Cachin, Abhi Shelat, Alexander Shraer	Efficient fork-linearizable access to untrusted shared memory.	PODC	2007	DBLP DOI BibTeX RDF	arbitrary failures, fork-consistency, storage emulations
33	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman	Long-Lived Rambo: Trading Knowledge for Communication.	SIROCCO	2004	DBLP DOI BibTeX RDF
33	Jerry James, Ambuj K. Singh	Fault Tolerance Bounds for Memory Consistency.	WDAG	1997	DBLP DOI BibTeX RDF
33	Phillip B. Gibbons, Ephraim Korach	On Testing Cache-Coherent Shared Memories.	SPAA	1994	DBLP DOI BibTeX RDF
33	Hagit Attiya	Implementing FIFO Queus and Stacks (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
21	Shao Jie Zhang, Yang Liu 0003	Model Checking a Lazy Concurrent List-Based Set Algorithm.	SSIRI	2010	DBLP DOI BibTeX RDF	Concurrent List-Based Set Algorithm, PAT, Linearizability, Refinement Checking
21	Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink	Brief announcement: a shared disk on distributed storage.	PODC	2010	DBLP DOI BibTeX RDF	probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers
21	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
21	Damien Imbs, Michel Raynal	Software Transactional Memories: An Approach for Multicore Programming.	PaCT	2009	DBLP DOI BibTeX RDF	Consistency condition, Transaction, Concurrent programming, Lock, Serializability, Software transactional memory, Shared object, Linearizability, Opacity, Logical clock, Consistent global state
21	Luís E. T. Rodrigues, Nuno Carvalho, Emili Miedes	Supporting Linearizable Semantics in Replicated Databases.	NCA	2008	DBLP DOI BibTeX RDF	linearizability, database replication
21	John Giacomoni, Tipp Moseley, Manish Vachharajani	FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue.	PPoPP	2008	DBLP DOI BibTeX RDF	fastforward, multiprocessors, multicore, queue, lock-free, linearizability, nonblocking synchronization, pipeline parallel
21	Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri	Combinable memory-block transactions.	SPAA	2008	DBLP DOI BibTeX RDF	memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore
21	Zhibek Kadyrsizova, Valery G. Romanovski	Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities.	ISSAC	2008	DBLP DOI BibTeX RDF	the center and linearizability problems, normal forms, ordinary differential equations, polynomial ideals
21	Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath	Graceful degradation via versions: specifications and implementations.	PODC	2007	DBLP DOI BibTeX RDF	fault tolerance, version, graceful degradation, linearizability
21	Roy Friedman, Michel Raynal, Corentin Travers	Brief announcement: abstractions for implementing atomic objects in dynamic systems.	PODC	2005	DBLP DOI BibTeX RDF	atomic object, dynamic system, asynchronous system, linearizability
21	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
21	Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit	Using elimination to implement scalable and lock-free FIFO queues.	SPAA	2005	DBLP DOI BibTeX RDF	scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination
21	Chien-Hua Shann, Ting-Lu Huang, Cheng Chen	A Practical Nonblocking Queue Algorithm Using Compare-and-Swap.	ICPADS	2000	DBLP DOI BibTeX RDF	concurrent queue, compare-and-swap, linearizability, nonblocking
21	Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda	The Elusive Atomic Register.	J. ACM	1994	DBLP DOI BibTeX RDF	linearizability, atomic register, wait-free synchronization
21	Michiko Inoue, Wei Chen 0003	Linear-Time Snapshot Using Multi-writer Multi-reader Registers.	WDAG	1994	DBLP DOI BibTeX RDF	atomic snapshot, lattice agreement problem, shared memory system, linearizability, wait-free algorithm
20	Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez	A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
20	Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002	A Compositional Theory of Linearizability.	J. ACM	2024	DBLP DOI BibTeX RDF
20	Hagit Attiya, Armando Castañeda, Constantin Enea	Strong Linearizability using Primitives with Consensus Number 2.	CoRR	2024	DBLP DOI BibTeX RDF
20	Ike Mulder, Robbert Krebbers	Proof Automation for Linearizability in Separation Logic.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis	The Path to Durable Linearizability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Arthur Oliveira Vale, Zhong Shao, Yixuan Chen 0002	A Compositional Theory of Linearizability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Brigita Fercec, Maja Zulj, Jaume Giné	Blow-Up Method for Linearizability of Resonant Differential Systems.	Int. J. Bifurc. Chaos	2023	DBLP DOI BibTeX RDF
20	Arik Rinberg, Idit Keidar	Intermediate Value Linearizability: A Quantitative Correctness Criterion.	J. ACM	2023	DBLP DOI BibTeX RDF
20	Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030	Rethink the Linearizability Constraints of Raft for Distributed Systems.	IEEE Trans. Knowl. Data Eng.	2023	DBLP DOI BibTeX RDF
20	Jesús Domínguez, Aleksandar Nanevski	Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version.	CoRR	2023	DBLP DOI BibTeX RDF
20	Armando Castañeda, Gilde Valeria Rodríguez	Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.	CoRR	2023	DBLP DOI BibTeX RDF
20	Jesús Domínguez, Aleksandar Nanevski	Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
20	Matthew D. Kvalheim, Philip Arathoon	Linearizability of flows by embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
20	Uri Abraham, Avi Hayoun	Linearizability Analysis of the Contention-Friendly Binary Search Tree.	CoRR	2023	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum, Michel Raynal	A Linearizability-based Hierarchy for Concurrent Specifications.	Commun. ACM	2023	DBLP DOI BibTeX RDF
20	Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan	Efficient linearizability checking for actor-based systems.	Softw. Pract. Exp.	2023	DBLP DOI BibTeX RDF
20	Roland Meyer 0001, Anton Opaterny, Thomas Wies, Sebastian Wolff 0001	nekton: A Linearizability Proof Checker.	CAV (1)	2023	DBLP DOI BibTeX RDF
20	Rudrapatna K. Shyamasundar	ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract.	SECRYPT	2023	DBLP DOI BibTeX RDF
20	Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar	Linearizability problem and invariants for multi-input non-autonomous control systems.	MED	2023	DBLP DOI BibTeX RDF
20	Yuxuan Qin, Weize Gao, ChonLam Lao, Wenfei Wu, Kai Chen	In-Network Key-Value Cache with Linearizability.	ICPADS	2023	DBLP DOI BibTeX RDF
20	Armando Castañeda, Gilde Valeria Rodríguez	Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability.	PODC	2023	DBLP DOI BibTeX RDF
20	Jesús Domínguez, Aleksandar Nanevski	Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack.	CONCUR	2023	DBLP DOI BibTeX RDF
20	Qiaowen Jia, Yi Lv, Peng Wu 0002, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang 0069	VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.	TASE	2023	DBLP DOI BibTeX RDF
20	Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis	The Path to Durable Linearizability.	CoRR	2022	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum, Michel Raynal	A Snapshot-Based Introduction to the Linearizability Hierarchy.	NETYS	2022	DBLP DOI BibTeX RDF
20	Xinwei Fu, Dongyoon Lee, Changwoo Min	DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs.	OSDI	2022	DBLP BibTeX RDF
20	Maja Zulj, Brigita Fercec, Matej Mencinger	Linearizability of 2: -3 Resonant Systems with Quadratic Nonlinearities.	Symmetry	2021	DBLP DOI BibTeX RDF
20	Rob Claes, Elias Jarlebring, Karl Meerbergen, Parikshit Upadhyaya	Linearizability of eigenvector nonlinearities.	CoRR	2021	DBLP BibTeX RDF
20	Tangliu Wen	A Simple Way to Verify Linearizability of Concurrent Stacks.	CoRR	2021	DBLP BibTeX RDF
20	Gal Sela 0001, Maurice Herlihy, Erez Petrank	Linearizability: a Typo.	CoRR	2021	DBLP BibTeX RDF
20	Vassos Hadzilacos, Xing Hu 0009, Sam Toueg	On Register Linearizability and Termination.	CoRR	2021	DBLP BibTeX RDF
20	Shir Cohen, Idit Keidar	Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer.	CoRR	2021	DBLP BibTeX RDF
20	David Yu Cheng Chan, Vassos Hadzilacos, Xing Hu 0009, Sam Toueg	An Impossibility Result on Strong Linearizability in Message-Passing Systems.	CoRR	2021	DBLP BibTeX RDF
20	Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan	Efficient Linearizability Checking for Actor-based Systems.	CoRR	2021	DBLP BibTeX RDF
20	Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song	Strict Linearizability and Abstract Atomicity.	Int. J. Found. Comput. Sci.	2021	DBLP DOI BibTeX RDF
20	Yangyang Wang, Zikai Wang, Yunpeng Chai, Xin Wang 0030	Rethink the Linearizability Constraints of Raft for Distributed Key-Value Stores.	ICDE	2021	DBLP DOI BibTeX RDF
20	Conrad Gstöttner, Bernd Kolar, Markus Schöberl	A Finite Test for the Linearizability of Two-Input Systems by a Two-Dimensional Endogenous Dynamic Feedback.	ECC	2021	DBLP DOI BibTeX RDF
20	Shir Cohen, Idit Keidar	Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer.	DISC	2021	DBLP DOI BibTeX RDF
20	Vassos Hadzilacos, Xing Hu 0009, Sam Toueg	On Register Linearizability and Termination.	PODC	2021	DBLP DOI BibTeX RDF
20	Gal Sela 0001, Maurice Herlihy, Erez Petrank	Brief Announcement: Linearizability: A Typo.	PODC	2021	DBLP DOI BibTeX RDF
20	Vassos Hadzilacos, Xing Hu 0009, Sam Toueg	On Linearizability and the Termination of Randomized Algorithms.	CoRR	2020	DBLP BibTeX RDF
20	Arik Rinberg, Idit Keidar	Intermediate Value Linearizability: A Quantitative Correctness Criterion.	CoRR	2020	DBLP BibTeX RDF
20	Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels	On the algorithmic linearizability of nonlinear ordinary differential equations.	J. Symb. Comput.	2020	DBLP DOI BibTeX RDF
20	Graeme Smith 0001, Kirsten Winter, Robert J. Colvin	Linearizability on hardware weak memory models.	Formal Aspects Comput.	2020	DBLP DOI BibTeX RDF
20	Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil	Root Causing Linearizability Violations.	CAV (1)	2020	DBLP DOI BibTeX RDF
20	Arik Rinberg, Idit Keidar	Intermediate Value Linearizability: A Quantitative Correctness Criterion.	DISC	2020	DBLP DOI BibTeX RDF
20	Hussain Ladhani, Jeffrey Jones, Joseph Staudinger, J. Stevenson Kenney	Impact of the input baseband impedance on the intermodulation distortion and linearizability of RF power transistors.	RWS	2020	DBLP DOI BibTeX RDF
20	Arik Rinberg, Idit Keidar	Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion.	PODC	2020	DBLP DOI BibTeX RDF
20	Katerina V. Sklyar, Svetlana Yu. Ignatovich	On Linearizability Conditions for Non-autonomous Control Systems.	KKA	2020	DBLP DOI BibTeX RDF
20	Yang Liu 0277, Dmitry A. Lyakhov, Dominik L. Michels	Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order.	CASC	2020	DBLP DOI BibTeX RDF
20	Hong-Gi Lee	Verifiable Conditions for Discrete-Time Multioutput Observer Error Linearizability.	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
20	Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang 0069	Replication-Aware Linearizability.	CoRR	2019	DBLP BibTeX RDF