Project publications

  1. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On the correctness of highly available systems in the presence of failures. Journal of Parallel and Distributed Computing (JPDC), ():, April 2023. Available online: 10 May 2023, Accepted: April 2023. Submitted: March 2022. URL: https://www.cs.put.poznan.pl/pawelw/pdf/jpdc23-journal-full.pdf, doi:10.1016/j.jpdc.2023.04.008.

  2. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Jiffy: a lock-free skip list with batch updates and snapshots. In Proceedings of PPoPP '22: the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 400–415. April 2022. URL: https://dl.acm.org/doi/10.1145/3503221.3508437, doi:10.1145/3503221.3508437.

  3. Jan Kończak and Paweł T. Wojciechowski. Failure recovery from persistent memory in Paxos-based state machine replication. In Proceedings of SRDS '21: the 40th IEEE Symposium on Reliable Distributed Systems (Chicago, IL, USA), pp. 88–98. September 2021. URL: http://www.cs.put.poznan.pl/pawelw/pub/srds21.pdf, doi:10.1109/SRDS53918.2021.00018.

  4. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On mixing eventual and strong consistency: Acute Cloud Types. IEEE Transactions on Parallel and Distributed Systems (TPDS), 33(6):1338–1356, June 2022. Date of Publication: 17 June 2021. URL: https://ieeexplore.ieee.org/document/9459528, doi:10.1109/TPDS.2021.3090318.

  5. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. On mixing eventual and strong consistency: Bayou revisited. In Proceedings of PODC '19: the 38th ACM Symposium on Principles of Distributed Computing (Toronto, ON, Canada), pp. 458–460. July-August 2019. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc19-arxiv.pdf, doi:10.1145/3293611.3331583.

  6. Jan Kończak, Paweł T. Wojciechowski, Nuno Santos, Tomasz Żurkowski, and André Schiper. Recovery algorithms for Paxos-based state machine replication. IEEE Transactions on Dependable and Secure Computing (TDSC), 18(2):623–640, March-April 2021. Date of Publication: 10 July 2019. URL: http://www.cs.put.poznan.pl/pawelw/pub/tdsc19-accepted.pdf, doi:10.1109/TDSC.2019.2926723.

Abstracts

  1. Paweł T. Wojciechowski. A selective and biased choice of techniques for building a distributed data store (keynote speech abstract). In Proceedings of DEBS ’23: the 17th ACM International Conference on Distributed and Event-based Systems, pp. June 2023. URL: https://www.cs.put.poznan.pl/pawelw/pdf/debs23-keynote-abstract.pdf, doi:10.1145/3583678.3603441.

Other publications

  1. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Hybrid transactional replication: state-machine and deferred-update replication combined. IEEE Transactions on Parallel and Distributed Systems (TPDS), 29(7):1499–1514, July 2018. Date of Publication: January 23, 2018. doi:10.1109/TPDS.2018.2796079.

  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. State-machine and deferred-update replication: analysis and comparison. IEEE Transactions on Parallel and Distributed Systems (TPDS), 28(3):891–904, March 2017. Published: 12 July 2016. doi:10.1109/TPDS.2016.2590422.

  3. Tadeusz Kobus, Maciej Kokociński, and Paweł T. Wojciechowski. Relaxing real-time order in opacity and linearizability. Journal of Parallel and Distributed Computing, 100():57–70, February 2017. Accepted: October 4, 2016. Available online: October 24, 2016. doi:10.1016/j.jpdc.2016.10.007.

  4. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Brief announcement: eventually consistent linearizability. In Proceedings of ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing (Donostia-San Sebastián, Spain), pp. 237–239. July 2015. URL: http://www.cs.put.poznan.pl/pawelw/pub/podc15.pdf, doi:10.1145/2767386.2767448.

  5. Maciej Kokociński, Tadeusz Kobus, and Paweł T. Wojciechowski. Make the leader work: executive deferred update replication. In Proceedings of SRDS '14: the 33rd IEEE Symposium on Reliable Distributed Systems (Nara, Japan), pp. 89–94. October 2014. URL: http://www.cs.put.poznan.pl/pawelw/pub/srds14.pdf, doi:10.1109/SRDS.2014.42.

Relevant patents

  1. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. November 20, 2018. Date of filing: January 14, 2016. United States Patent No. US 10,135,929 B2. URL: https://patents.google.com/patent/US10135929B2.

  2. Paweł T. Wojciechowski, Tadeusz Kobus, and Maciej Kokociński. A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. August 1, 2018. Date of filing: January 12, 2016. European Patent Specification No. EP 3 193 256 B1. URL: https://patents.google.com/patent/EP3193256B1.

BibTeX

The bibtex data for project publications, abstracts, other publications, and patents.

Copyrights

The following notices apply to the IEEE articles:

© 2018–2023 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.