Search dblp for Publications

export results for "Maciej Kokocinski"

 download as .bib file

@inproceedings{DBLP:conf/hopc/KobusKW24,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  editor       = {Laxman Dhulipala and
                  Yihan Sun},
  title        = {Jiffy: {A} Lock-free Skip List with Batch Updates and Snapshots (Abstract)},
  booktitle    = {Proceedings of the 2024 {ACM} Workshop on Highlights of Parallel Computing,
                  {HOPC} 2024, Nantes, France, 17 June 2024},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3670684.3673410},
  doi          = {10.1145/3670684.3673410},
  timestamp    = {Wed, 31 Jul 2024 09:04:06 +0200},
  biburl       = {https://dblp.org/rec/conf/hopc/KobusKW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1016/j.jpdc.2023.04.008},
  doi          = {10.1016/J.JPDC.2023.04.008},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/KokocinskiKW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1109/TPDS.2021.3090318},
  doi          = {10.1109/TPDS.2021.3090318},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/KokocinskiKW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/KobusKW22,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  editor       = {Jaejin Lee and
                  Kunal Agrawal and
                  Michael F. Spear},
  title        = {Jiffy: a lock-free skip list with batch updates and snapshots},
  booktitle    = {PPoPP '22: 27th {ACM} {SIGPLAN} Symposium on Principles and Practice
                  of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022},
  pages        = {400--415},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3503221.3508437},
  doi          = {10.1145/3503221.3508437},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppopp/KobusKW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://arxiv.org/abs/2102.01044},
  eprinttype    = {arXiv},
  eprint       = {2102.01044},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-01044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KokocinskiKW19,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  editor       = {Peter Robinson and
                  Faith Ellen},
  title        = {On Mixing Eventual and Strong Consistency: Bayou Revisited},
  booktitle    = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2, 2019},
  pages        = {458--460},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293611.3331583},
  doi          = {10.1145/3293611.3331583},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KokocinskiKW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1905.11762},
  eprinttype    = {arXiv},
  eprint       = {1905.11762},
  timestamp    = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-11762.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1907.00748},
  eprinttype    = {arXiv},
  eprint       = {1907.00748},
  timestamp    = {Mon, 08 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-00748.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1109/TPDS.2018.2796079},
  doi          = {10.1109/TPDS.2018.2796079},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/KobusKW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1016/j.jpdc.2016.10.007},
  doi          = {10.1016/J.JPDC.2016.10.007},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/KobusKW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.1109/TPDS.2016.2590422},
  doi          = {10.1109/TPDS.2016.2590422},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/WojciechowskiKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1612.06302},
  eprinttype    = {arXiv},
  eprint       = {1612.06302},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KobusKW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KokocinskiKW15,
  author       = {Maciej Kokocinski and
                  Tadeusz Kobus and
                  Pawel T. Wojciechowski},
  editor       = {Chryssis Georgiou and
                  Paul G. Spirakis},
  title        = {Brief Announcement: Eventually Consistent Linearizability},
  booktitle    = {Proceedings of the 2015 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2015, Donostia-San Sebasti{\'{a}}n, Spain,
                  July 21 - 23, 2015},
  pages        = {237--239},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2767386.2767448},
  doi          = {10.1145/2767386.2767448},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/KokocinskiKW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cost/KobusKW15,
  author       = {Tadeusz Kobus and
                  Maciej Kokocinski and
                  Pawel T. Wojciechowski},
  editor       = {Rachid Guerraoui and
                  Paolo Romano},
  title        = {Introduction to Transactional Replication},
  booktitle    = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
                  - {COST} Action Euro-TM {IC1001}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8913},
  pages        = {309--340},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-14720-8\_15},
  doi          = {10.1007/978-3-319-14720-8\_15},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cost/KobusKW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {33rd {IEEE} International Symposium on Reliable Distributed Systems,
                  {SRDS} 2014, Nara, Japan, October 6-9, 2014},
  pages        = {89--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SRDS.2014.42},
  doi          = {10.1109/SRDS.2014.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/KokocinskiKW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {{IEEE} 33rd International Conference on Distributed Computing Systems,
                  {ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
  pages        = {286--296},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICDCS.2013.30},
  doi          = {10.1109/ICDCS.2013.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/KobusKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
                  Irvine, CA, USA, October 8-11, 2012},
  pages        = {101--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SRDS.2012.44},
  doi          = {10.1109/SRDS.2012.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/WojciechowskiKK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}