Maciej Kokocinski

J. Parallel Distributed Comput., 2023

2022

On Mixing Eventual and Strong Consistency: Acute Cloud Types.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2022

Jiffy: a lock-free skip list with batch updates and snapshots.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

2019

Creek: a General Mixed-Consistency Transactional Replication Scheme.

[BibT_eX]

[DOI]

CoRR, 2019

On Mixing Eventual and Strong Consistency: Bayou Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

2017

State-Machine and Deferred-Update Replication: Analysis and Comparison.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Relaxing real-time order in opacity and linearizability.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

2015

Brief Announcement: Eventually Consistent Linearizability.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Introduction to Transactional Replication.

[BibT_eX]

[DOI]

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014

Make the Leader Work: Executive Deferred Update Replication.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2013

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

2012

Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes.

[BibT_eX]

[DOI]