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 |
|