Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/hopc/KobusKW24,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Jiffy: {A} Lock-free Skip List with Batch Updates and Snapshots (Abstract)},
  booktitle    = {HOPC@SPAA},
  publisher    = {{ACM}},
  year         = {2024}
}

@article{DBLP:journals/jpdc/KokocinskiKW23,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {On the correctness of highly available systems in the presence of
                  failures},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {180},
  pages        = {104707},
  year         = {2023}
}

@article{DBLP:journals/tpds/KokocinskiKW22,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {On Mixing Eventual and Strong Consistency: Acute Cloud Types},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {33},
  number       = {6},
  pages        = {1338--1356},
  year         = {2022}
}

@inproceedings{DBLP:conf/ppopp/KobusKW22,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Jiffy: a lock-free skip list with batch updates and snapshots},
  booktitle    = {PPoPP},
  pages        = {400--415},
  publisher    = {{ACM}},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2102-01044,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Jiffy: {A} Lock-free Skip List with Batch Updates and Snapshots},
  journal      = {CoRR},
  volume       = {abs/2102.01044},
  year         = {2021}
}

@inproceedings{DBLP:conf/podc/KokocinskiKW19,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {On Mixing Eventual and Strong Consistency: Bayou Revisited},
  booktitle    = {{PODC}},
  pages        = {458--460},
  publisher    = {{ACM}},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1905-11762,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {On mixing eventual and strong consistency: Bayou revisited},
  journal      = {CoRR},
  volume       = {abs/1905.11762},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1907-00748,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Creek: a General Mixed-Consistency Transactional Replication Scheme},
  journal      = {CoRR},
  volume       = {abs/1907.00748},
  year         = {2019}
}

@article{DBLP:journals/tpds/KobusKW18,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Hybrid Transactional Replication: State-Machine and Deferred-Update
                  Replication Combined},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {29},
  number       = {7},
  pages        = {1499--1514},
  year         = {2018}
}

@article{DBLP:journals/jpdc/KobusKW17,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Relaxing real-time order in opacity and linearizability},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {100},
  pages        = {57--70},
  year         = {2017}
}

@article{DBLP:journals/tpds/WojciechowskiKK17,
  author       = {Pawel T. Wojciechowski and
                  Tadeusz Kobus and
                  Maciej Kokocinski},
  title        = {State-Machine and Deferred-Update Replication: Analysis and Comparison},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {28},
  number       = {3},
  pages        = {891--904},
  year         = {2017}
}

@article{DBLP:journals/corr/KobusKW16,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Hybrid Transactional Replication: State-Machine and Deferred-Update
                  Replication Combined},
  journal      = {CoRR},
  volume       = {abs/1612.06302},
  year         = {2016}
}

@inproceedings{DBLP:conf/podc/KokocinskiKW15,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {Brief Announcement: Eventually Consistent Linearizability},
  booktitle    = {{PODC}},
  pages        = {237--239},
  publisher    = {{ACM}},
  year         = {2015}
}

@incollection{DBLP:conf/cost/KobusKW15,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Introduction to Transactional Replication},
  booktitle    = {Transactional Memory},
  series       = {Lecture Notes in Computer Science},
  volume       = {8913},
  pages        = {309--340},
  publisher    = {Springer},
  year         = {2015}
}

@inproceedings{DBLP:conf/srds/KokocinskiKW14,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  title        = {Make the Leader Work: Executive Deferred Update Replication},
  booktitle    = {{SRDS}},
  pages        = {89--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2014}
}

@inproceedings{DBLP:conf/icdcs/KobusKW13,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  title        = {Hybrid Replication: State-Machine-Based and Deferred-Update Replication
                  Schemes Combined},
  booktitle    = {{ICDCS}},
  pages        = {286--296},
  publisher    = {{IEEE} Computer Society},
  year         = {2013}
}

@inproceedings{DBLP:conf/srds/WojciechowskiKK12,
  author       = {Pawel T. Wojciechowski and
                  Tadeusz Kobus and
                  Maciej Kokocinski},
  title        = {Model-Driven Comparison of State-Machine-Based and Deferred-Update
                  Replication Schemes},
  booktitle    = {{SRDS}},
  pages        = {101--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2012}
}