Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Hagit Attiya, Constantin Enea |
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Tangliu Wen, Lan Song, Zhen You |
Proving Linearizability Using Reduction. |
Comput. J. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jad Hamza |
On the complexity of linearizability. |
Computing |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Graeme Smith 0001, Lindsay Groves |
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors. |
FM Workshops (2) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Constantin Enea |
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects. |
DISC |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Chao Wang 0069, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
Replication-aware linearizability. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Diego Cepeda, Sakib Chowdhury, Nan Li, Raphael Lopez, Xinzhe Wang, Wojciech M. Golab |
Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives. |
OPODIS |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic |
Checking linearizability using hitting families. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Michael Emmi, Constantin Enea |
Sound, complete, and tractable linearizability monitoring for concurrent collections. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hua Fan 0002, Wojciech M. Golab |
Analyzing linearizability violations in the presence of read-modify-write operations. |
Inf. Process. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO linearizability is undecidable. |
Acta Informatica |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. |
J. ACM |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yotam M. Y. Feldman, Constantin Enea, Adam Morrison 0001, Noam Rinetzky, Sharon Shoham |
Order out of Chaos: Proving Linearizability Using Local Views. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Tangliu Wen |
Strict Linearizability and Abstract Atomicity. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Graeme Smith 0001, Kirsten Winter, Robert J. Colvin |
A sound and complete definition of linearizability on weak memory models. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | |
Proving Linearizability Using Reduction. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Simon Doherty, John Derrick, Brijesh Dongol, Heike Wehrheim |
Causal Linearizability: Compositionality for Partially Ordered Executions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
20 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
On reducing linearizability to state reachability. |
Inf. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ning Wang 0002, Jing-Chao Sun, Min Han 0001, Zhongjiu Zheng, Meng Joo Er |
Adaptive Approximation-Based Regulation Control for a Class of Uncertain Nonlinear Systems Without Feedback Linearizability. |
IEEE Trans. Neural Networks Learn. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yotam M. Y. Feldman, Constantin Enea, Adam Morrison 0001, Noam Rinetzky, Sharon Shoham |
Order out of Chaos: Proving Linearizability Using Local Views. |
DISC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick |
Making Linearizability Compositional for Partially Ordered Executions. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Ohad Ben-Baruch, Danny Hendler |
Nesting-Safe Recoverable Linearizability: Modular Constructions for Non-Volatile Memory. |
PODC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Éric Goubault, Jérémy Ledent, Samuel Mimram |
Concurrent Specifications Beyond Linearizability. |
OPODIS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yang Chen, Zhenya Zhang, Peng Wu 0002, Yu Zhang |
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kirsten Winter, Graeme Smith 0001, John Derrick |
Observational Models for Linearizability Checking on Weak Memory Models. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Gavin Lowe |
Testing for linearizability. |
Concurr. Comput. Pract. Exp. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Gi Lee |
Verifiable Conditions for Multioutput Observer Error Linearizability. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski |
Relaxing real-time order in opacity and linearizability. |
J. Parallel Distributed Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
Proving Linearizability Using Partial Orders (Extended Version). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil |
Proving linearizability using forward simulations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik Ludewig Michels |
Algorithmic Verification of Linearizability for Ordinary Differential Equations. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Ahmed Bouajjani, Constantin Enea, Chao Wang 0069 |
Checking Linearizability of Concurrent Priority Queues. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
20 | Graeme Smith 0001, Kirsten Winter |
Relating trace refinement and linearizability. |
Formal Aspects Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zhenya Zhang, Peng Wu 0002, Yu Zhang |
Localization of Linearizability Faults on the Coarse-Grained Level. |
Int. J. Softw. Eng. Knowl. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Graeme Smith 0001, Lindsay Groves, Brijesh Dongol |
A Proof Method for Linearizability on TSO Architectures. |
Provably Correct Systems |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil |
Proving Linearizability Using Forward Simulations. |
CAV (2) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Patrick Doolan, Graeme Smith 0001, Chenyi Zhang, Padmanabhan Krishnan |
Improving the Scalability of Automatic Linearizability Checking in SPIN. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zhenya Zhang, Peng Wu 0002, Yu Zhang |
Localization of Linearizability Faults on the Coarse-grained Level. |
SEKE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
Proving Linearizability Using Partial Orders. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
20 | David Yu Cheng Chan, Vassos Hadzilacos, Sam Toueg |
On the Number of Objects with Distinct Power and the Linearizability of Set Agreement Objects. |
DISC |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Katerina V. Sklyar, Svetlana Yu. Ignatovich, Grigory M. Sklyar |
Verification of feedback linearizability conditions for control systems of the class C1. |
MED |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani, Constantin Enea, Chao Wang 0069 |
Checking Linearizability of Concurrent Priority Queues. |
CONCUR |
2017 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Graeme Smith 0001 |
An Observational Approach to Defining Linearizability on Weak Memory Models. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
Proving Opacity via Linearizability: A Sound and Complete Method. |
FORTE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels |
Algorithmic Verification of Linearizability for Ordinary Differential Equations. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Maurice Herlihy |
Linearizability. |
Encyclopedia of Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kiran Adhikari, James Street, Chao Wang 0001, Yang Liu 0003, Shao Jie Zhang |
Verifying a quantitative relaxation of linearizability via refinement. |
Int. J. Softw. Tools Technol. Transf. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
A Generic Logic for Proving Linearizability (Extended Version). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Simon Doherty, John Derrick |
Causal Linearizability. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013 |
Proving Linearizability via Branching Bisimulation. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Alasdair Armstrong, Brijesh Dongol, Simon Doherty |
Reducing Opacity to Linearizability: A Sound and Complete Method. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | K. V. Sklyar, Svetlana Yu. Ignatovich |
Linearizability of systems of the class C1 with multi-dimensional control. |
Syst. Control. Lett. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Zhenyue Long, Yu Zhang |
Checking linearizability with fine-grained traces. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Graeme Smith 0001, John Derrick |
Invariant generation for linearizability proofs. |
SAC |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
A Generic Logic for Proving Linearizability. |
FM |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott |
Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model. |
DISC |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Junyan Qian, Guo-Qing Yao, Guang-Xi Chen, Lingzhong Zhao |
Linearizability Proof of Stack Data. |
ICCSA (4) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
Local Linearizability for Concurrent Container-Type Data Structures. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
Bounded TSO-to-SC Linearizability Is Decidable. |
SOFSEM |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Simon Doherty, John Derrick |
Linearizability and Causality. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Graeme Smith 0001 |
Model Checking Simulation Rules for Linearizability. |
SEFM |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Hong-Gi Lee, Kyung-Duk Kim, Hong-Tae Jeon |
Restricted dynamic observer error linearizability. |
Autom. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Lu Zhang 0035, Arijit Chattopadhyay, Chao Wang 0001 |
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. |
IEEE Trans. Software Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
Local Linearizability. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Armando Castañeda, Michel Raynal, Sergio Rajsbaum |
Specifying Concurrent Problems: Beyond Linearizability. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Alex Horn, Daniel Kroening |
Faster linearizability checking via $P$-compositionality. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
On Reducing Linearizability to State Reachability. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
20 | Soham Chakraborty 0001, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
Aspect-oriented linearizability proofs. |
Log. Methods Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | He Zhu 0001, Gustavo Petri, Suresh Jagannathan |
Poling: SMT Aided Linearizability Proofs. |
CAV (2) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez |
Verifying Linearizability of Intel® Software Guard Extensions. |
CAV (2) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
On Reducing Linearizability to State Reachability. |
ICALP (2) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Chao Wang 0069, Yi Lv, Peng Wu 0002 |
TSO-to-TSO Linearizability Is Undecidable. |
ATVA |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Chao Wang 0069, Yi Lv, Gaoang Liu, Peng Wu 0002 |
Quasi-Linearizability is Undecidable. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract). |
DISC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar |
A Constructive Approach for Proving Data Structures' Linearizability. |
DISC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Oksana Denysyuk, Philipp Woelfel |
Wait-Freedom is Harder Than Lock-Freedom Under Strong Linearizability. |
DISC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Nir Hemed, Noam Rinetzky, Viktor Vafeiadis |
Modular Verification of Concurrency-Aware Linearizability. |
DISC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Jad Hamza |
On the Complexity of Linearizability. |
NETYS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Collin Lee, Seo Jin Park, Ankita Kejriwal, Satoshi Matsushita, John K. Ousterhout |
Implementing linearizability at large scale and low latency. |
SOSP |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski |
Brief Announcement: Eventually Consistent Linearizability. |
PODC |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Alex Horn, Daniel Kroening |
Faster Linearizability Checking via P-Compositionality. |
FORTE |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dong Eui Chang, Kyung-Hyun Choi |
Quasi-linearizability of various benchmark control mechanical systems. |
CCECE |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Gerhard Schellhorn, John Derrick, Heike Wehrheim |
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Ekkarath Thailert, Supaporn Suksern |
Linearizability of Nonlinear Third-Order Ordinary Differential Equations by Using a Generalized Linearizing Transformation. |
J. Appl. Math. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Haoxiang Lin |
A Constructive Proof On the Compositionality of Linearizability. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Radha Jagadeesan, James Riely |
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Brijesh Dongol, John Derrick |
Verifying linearizability: A comparative survey. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Jad Hamza |
Linearizability is EXPSPACE-complete. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim |
Two approaches for proving linearizability of multiset. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Peng Liu 0010, Omer Tripp, Xiangyu Zhang 0001 |
Flint: fixing linearizability violations. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim |
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Radha Jagadeesan, James Riely |
Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
Checking Linearizability of Encapsulated Extended Operations. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Jaume Franch, Alex Reyes |
New conditions to keep static feedback linearizability under addition of new inputs. |
CDC |
2014 |
DBLP DOI BibTeX RDF |
|
20 | David Friggens, Lindsay Groves |
Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. |
ACSC |
2014 |
DBLP BibTeX RDF |
|
20 | Rachid Guerraoui, Eric Ruppert |
Linearizability Is Not Always a Safety Property. |
NETYS |
2014 |
DBLP DOI BibTeX RDF |
|
20 | John Derrick, Graeme Smith 0001, Brijesh Dongol |
Verifying Linearizability on TSO Architectures. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. |
IFM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nir Hemed, Noam Rinetzky |
Brief announcement: concurrency-aware linearizability. |
PODC |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Rachid Guerraoui, Eric Ruppert |
A paradox of eventual linearizability in shared memory. |
PODC |
2014 |
DBLP DOI BibTeX RDF |
|