Maciej Kokocinski

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 12

Top Topics

Consistency Checking

Replication Scheme

Top Venues

IEEE Trans. Parallel Distributed Syst.

J. Parallel Distributed Comput.

Publications

Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract). HOPC@SPAA (2024)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
On the correctness of highly available systems in the presence of failures. J. Parallel Distributed Comput. 180 (2023)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Jiffy: a lock-free skip list with batch updates and snapshots. PPoPP (2022)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
On Mixing Eventual and Strong Consistency: Acute Cloud Types. IEEE Trans. Parallel Distributed Syst. 33 (6) (2022)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Jiffy: A Lock-free Skip List with Batch Updates and Snapshots. CoRR (2021)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Creek: a General Mixed-Consistency Transactional Replication Scheme. CoRR (2019)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
On mixing eventual and strong consistency: Bayou revisited. CoRR (2019)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
On Mixing Eventual and Strong Consistency: Bayou Revisited. PODC (2019)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined. IEEE Trans. Parallel Distributed Syst. 29 (7) (2018)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Relaxing real-time order in opacity and linearizability. J. Parallel Distributed Comput. 100 (2017)
Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski
State-Machine and Deferred-Update Replication: Analysis and Comparison. IEEE Trans. Parallel Distributed Syst. 28 (3) (2017)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined. CoRR (2016)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
Brief Announcement: Eventually Consistent Linearizability. PODC (2015)
Maciej Kokocinski, Tadeusz Kobus, Pawel T. Wojciechowski
Make the Leader Work: Executive Deferred Update Replication. SRDS (2014)
Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski
Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined. ICDCS (2013)
Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski
Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication Schemes. SRDS (2012)