Search results for "Linearizability"

Hits ?▲	Authors	Title	Venue	Year	Link
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