Search results for "linearizability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	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
3	Michel Raynal	Sequential consistency as lazy linearizability.	SPAA	2002	DBLP DOI BibTeX RDF	sequential consistency, linearizability
2	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
2	Martin T. Vechev, Eran Yahav, Greta Yorsh	Experience with Model Checking Linearizability.	SPIN	2009	DBLP DOI BibTeX RDF
2	Yang Liu 0003, Wei Chen 0013, Yanhong A. Liu, Jun Sun 0001	Model Checking Linearizability via Refinement.	FM	2009	DBLP DOI BibTeX RDF
2	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
2	Christian Cachin, Martin Geisler	Integrity Protection for Revision Control.	ACNS	2009	DBLP DOI BibTeX RDF	Hash trees, memory checking, fork linearizability, storage security, applied cryptography
2	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
2	Martin T. Vechev, Eran Yahav	Deriving linearizable fine-grained concurrent objects.	PLDI	2008	DBLP DOI BibTeX RDF	algorithms, model checking, data structures, concurrency, linearizability
2	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
2	Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld	Sequentially consistent versus linearizable counting networks.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Balancing networks, Inconsistency fractions, Sequential consistency, Linearizability, Counting networks
2	Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav	Comparison Under Abstraction for Verifying Linearizability.	CAV	2007	DBLP DOI BibTeX RDF
2	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
2	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
2	Marios Mavronicolas, Marina Papatriantafilou, Philippas Tsigas	The Impact of Timing on Linearizability in Counting Networks. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF
2	Hagit Attiya, Jennifer L. Welch	Sequential Consistency versus Linearizability.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF
2	Maurice Herlihy, Jeannette M. Wing	Linearizability: A Correctness Condition for Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
1	Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif	Proving linearizability with temporal logic.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanically verified proof obligations for linearizability.	ACM Trans. Program. Lang. Syst.	2011	DBLP DOI BibTeX RDF
1	Jaume Giné, Zhibek Kadyrsizova, Yirong Liu, Valery G. Romanovski	Linearizability conditions for Lotka-Volterra planar complex quartic systems having homogeneous nonlinearities.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Shao Jie Zhang	Scalable automatic linearizability checking.	ICSE	2011	DBLP DOI BibTeX RDF
1	David Dice, Oleksandr Otenko	Brief announcement: multilane - a concurrent blocking multiset.	SPAA	2011	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran	Simplifying Linearizability Proofs with Reduction and Abstraction.	TACAS	2010	DBLP DOI BibTeX RDF
1	Yehuda Afek, Guy Korland, Eitan Yanovsky	Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Yehuda Afek, Guy Korland, Eitan Yanovsky	Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.	DISC	2010	DBLP DOI BibTeX RDF
1	Viktor Vafeiadis	Automatically Proving Linearizability.	CAV	2010	DBLP DOI BibTeX RDF
1	Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur	Model Checking of Linearizability of Concurrent List Implementations.	CAV	2010	DBLP DOI BibTeX RDF
1	Stefan Vijzelaar, Herbert Bos, Wan 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
1	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
1	Viktor Vafeiadis	Shape-Value Abstraction for Verifying Linearizability.	VMCAI	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang	Abstraction for Concurrent Objects.	ESOP	2009	DBLP DOI BibTeX RDF
1	Maurice Herlihy	Linearizability.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
1	Witold Respondek, Issa Amadou Tall	Feedback linearizability of strict feedforward systems.	CDC	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Luís Rodrigues, Nuno Carvalho, Emili Miedes	Supporting Linearizable Semantics in Replicated Databases.	NCA	2008	DBLP DOI BibTeX RDF	linearizability, database replication
1	Xiaoqiang Zhang, Lin Peng, Lunguo Xie	Lowering Conflicts of High Contention Software Transactional Memory.	CSSE	2008	DBLP DOI BibTeX RDF
1	Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine	Heap Decomposition for Concurrent Shape Analysis.	SAS	2008	DBLP DOI BibTeX RDF
1	Diana Dolicanin, Gradimir V. Milovanovic, Valery G. Romanovski	Linearizability conditions for a cubic system.	Applied Mathematics and Computation	2007	DBLP DOI BibTeX RDF
1	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
1	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
1	Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz	Attested append-only memory: making adversaries stick to their word.	SOSP	2007	DBLP DOI BibTeX RDF	attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance
1	Jörg Hähner, Christian Becker, Pedro José Marrón, Kurt Rothermel	Maintaining update-linearizability for replicated information in MANETs.	COMSWARE	2006	DBLP BibTeX RDF
1	Costas Busch, Marios Mavronicolas, Paul G. Spirakis	An Application of the Monotone Linearizability Lemma.	Bulletin of the EATCS	2005	DBLP BibTeX RDF
1	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
1	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
1	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
1	Michel Raynal, Matthieu Roy, Ciprian Tutu	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.	AINA	2005	DBLP DOI BibTeX RDF
1	Gregory Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Reconfigurable Distributed Storage for Dynamic Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	atomic objects, performance, Distributed algorithms, reconfiguration
1	Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
1	Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho	Generalization of ZYT-linearizability for bilinear datalog programs.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
1	Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter	Efficient Byzantine-Tolerant Erasure-Coded Storage.	DSN	2004	DBLP DOI BibTeX RDF
1	Charles P. Fry, Michael K. Reiter	Nested Objects in a Byzantine Quorum-Replicated System.	SRDS	2004	DBLP DOI BibTeX RDF	Fault tolerance, Distributed systems, Replication, Byzantine failures, Quorum systems
1	Youhui Zhang, Jinfeng Hu, Weimin Zheng	The Flexible Replication Method in an Object-Oriented Data Storage System.	NPC	2004	DBLP DOI BibTeX RDF
1	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman	Long-Lived Rambo: Trading Knowledge for Communication.	SIROCCO	2004	DBLP DOI BibTeX RDF
1	William N. Scherer III, Michael L. Scott	Nonblocking Concurrent Data Structures with Condition Synchronization.	DISC	2004	DBLP DOI BibTeX RDF
1	Bernadette Charron-Bost, Robert Cori	A Note on Linearizability and the Global Time Axiom.	Parallel Processing Letters	2003	DBLP DOI BibTeX RDF
1	Roman Vitenberg, Roy Friedman	On the Locality of Consistency Conditions.	DISC	2003	DBLP DOI BibTeX RDF
1	M. Guay	On the linearizability of nonisothermal continuous stirred-tank reactors.	Automatica	2002	DBLP DOI BibTeX RDF
1	Michel Raynal	Sequential Consistency as Lazy Linearizability.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
1	Maria Gradinariu	Normality versus system mobility.	ICPADS	2002	DBLP DOI BibTeX RDF
1	Chien-Hua Shann, Ting-Lu Huang, Cheng Chen	A Practical Nonblocking Queue Algorithm Using Compare-and-Swap. (PDF / PS)	ICPADS	2000	DBLP DOI BibTeX RDF	concurrent queue, compare-and-swap, linearizability, nonblocking
1	Damián Arregui, François Pacull, Michel Riviere	Heterogeneous Component Coordination: The CLF Approach. (PDF / PS)	EDOC	2000	DBLP DOI BibTeX RDF	heterogeneous component coordination, CLF approach, Java/Jini, Corba 3.0, Object Management Group, Coordination Language Facility, two-phase commit protocol, showcase application, heterogeneous components, Java, serializability, distributed object management, distributed transactions, Enterprise JavaBeans
1	Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou	Timing Conditions for Linearizability in Uniform Counting Networks.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
1	Jerry James, Ambuj K. Singh	Fault Tolerance Bounds for Memory Consistency.	WDAG	1997	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, André Schiper	Fault-Tolerance by Replication in Distributed Systems.	Ada-Europe	1996	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki	On Transformations into Linear Database Logic Programs.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Datalog programs, program transformations, deductive databases, program optimization
1	Gil Neiger	Set-Linearizability.	PODC	1994	DBLP DOI BibTeX RDF
1	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
1	Michiko Inoue, Wei Chen	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
1	Phillip B. Gibbons, Ephraim Korach	On Testing Cache-Coherent Shared Memories.	SPAA	1994	DBLP DOI BibTeX RDF
1	Kenneth P. Birman	Maintaining consistency in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
1	Tomás Feder, Yatin P. Saraiya	Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.	ICDT	1992	DBLP DOI BibTeX RDF
1	Hagit Attiya, Jennifer L. Welch	Sequential Consistency Versus Linearizability (Extended Abstract).	SPAA	1991	DBLP DOI BibTeX RDF
1	Hagit Attiya	Implementing FIFO Queus and Stacks (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
1	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
1	Yatin P. Saraiya	Hard Problems for Simple Logic Programs.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF	Datalog
1	Maurice Herlihy, Jeannette M. Wing	Linearizable concurrent objects.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	Peter Wegner	Granularity of modules in object-based concurrent systems.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Jeannette M. Wing	Axioms for Concurrent Objects.	POPL	1987	DBLP DOI BibTeX RDF
1	Kurt-Ulrich Witt	On Linearizing Graphs.	WG	1980	DBLP DOI BibTeX RDF