Maciej Kokocinski

Orcid: 0000-0003-4640-525X

According to our database1, Maciej Kokocinski authored at least 14 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract).
Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

2023
On the correctness of highly available systems in the presence of failures.
J. Parallel Distributed Comput., 2023

2022
On Mixing Eventual and Strong Consistency: Acute Cloud Types.
IEEE Trans. Parallel Distributed Syst., 2022

Jiffy: a lock-free skip list with batch updates and snapshots.
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.
CoRR, 2019

On Mixing Eventual and Strong Consistency: Bayou Revisited.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018
Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined.
IEEE Trans. Parallel Distributed Syst., 2018

2017
State-Machine and Deferred-Update Replication: Analysis and Comparison.
IEEE Trans. Parallel Distributed Syst., 2017

Relaxing real-time order in opacity and linearizability.
J. Parallel Distributed Comput., 2017

2015
Brief Announcement: Eventually Consistent Linearizability.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

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

2014
Make the Leader Work: Executive Deferred Update Replication.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

2013
Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined.
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.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012


  Loading...