Research

See my profiles at:

Projects

The Persistent Datastore project proposes cutting-edge solutions that can be used to build robust data store systems for future computer systems equipped with persistent memory. My focus within the project is on:
  • replication protocols based on Executive Paxos, a variant of the Multi-Paxos algorithm that implements Executive-Order Broadcast,
  • Acute Cloud Types - new conflict-free replicated data structures that combine the advantages of eventual consistency (efficiency and scalability) with the advantages of strong consistency (flexibility and ease of use),
  • synchronization algorithms for high-performance data stores designed for machines equipped with persistent memory,
  • novel lock-free concurrent data structures.
Persistent Database

Book chapters

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Introduction to Transactional Replication. A book chapter in Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001, Eds. Rachid Guerraoui and Paolo Romano. Springer LNCS 8913, 2015. (link, bibtex)

Doctoral dissertation

  • Tadeusz Kobus. Transactional Replication: Algorithms and Properties. Doctoral Dissertation. Faculty of Computing Science at Poznań University of Technology. Advisor: Paweł T. Wojciechowski. April 2017. (pdf, bibtex)

Journal papers

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. On the correctness of highly available systems in the presence of failures. Journal of Parallel and Distributed Computing, vol. 180, October 2023. (link)

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. On Mixing Eventual and Strong Consistency: Acute Cloud Types. IEEE Transactions on Parallel and Distributed Systems, vol. 33, no. 6, pp. 1338-1356, 1 June 2022. (link)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Hybrid Transactional Replication: State-Machine and Deferred-Update Replication Combined. IEEE Transactions on Parallel and Distributed Systems, vol. 29, no. 7, p. 1499-1514, 2018. Published: 23 January 2018. (link, bibtex)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Relaxing Real-time Order in Opacity and Linearizability. Journal of Parallel and Distributed Computing, vol. 100, p. 57-70, 2017. Published: 24 Oct 2016. (link, bibtex)

  • Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński. State-Machine and Deferred-Update Replication: Analysis and Comparison. IEEE Transactions on Parallel and Distributed Systems, vol. 28, no. 3, p. 891-904, 2017. Published: 12 July 2016. (link, bibtex)

Conference papers

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Jiffy: A Lock-free Skip List with Batch Updates and Snapshots. In Proceedings of PPoPP ‘22: the 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, April 2022. (link)

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. Brief announcement: On mixing eventual and strong consistency: Bayou revisited. In Proceedings of PODC ‘19: the 38th ACM Symposium on Principles of Distributed Computing, July 2019. (pdf, bibtex)

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. Brief Announcement: Eventually Consistent Linearizability. In Proceedings of PODC ‘15: the 34th ACM Symposium on Principles of Distributed Computing, July 2015. (pdf, bibtex)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. The Correctness Criterion for Deferred Update Replication. In the program of TRANSACT ‘15: the 10th ACM SIGPLAN Workshop on Transactional Computing, June 2015. (pdf, bibtex)

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. Make the Leader Work: Executive Deferred Update Replication. In Proceedings of SRDS ‘14: the 33rd IEEE Symposium on Reliable Distributed Systems, October 2014. (pdf, bibtex)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Hybrid Replication: State-Machine-based and Deferred-Update Replication Schemes Combined. In Proceedings of ICDCS ‘13: the 33rd IEEE International Conference on Distributed Computing Systems, July 2013. (pdf, bibtex)

  • Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński. Model-Driven Comparison of State-Machine-based and Deferred-Update Replication Schemes. In Procedings of SRDS ‘12: the 31st IEEE International Symposium on Reliable Distributed Systems, October 2012. A longer version appeared as Technical Report RA-01-12, Institute of Computing Science, Poznań University of Technology, April 2012. (pdf, bibtex)

  • Tadeusz Kobus, Paweł T. Wojciechowski. RESTGroups for Resilient Web Services. In Proceedings of SOFSEM ‘12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science: Software & Web Engineering Track, Springer LNCS 7147, January 2012. (pdf, bibtex)

Short papers

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. On Safety of Replicated Transactional Memory. In the program of WTTM ‘14: the 6th Workshop on the Theory of Transactional Memory (co-located with PODC ‘14), July 2014. (pdf, bibtex)

  • Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski. Towards a more scalable Deferred Update Replication. In the program of WTM ‘14: the Workshop on Transactional Memory (co-located with EuroSys ‘14, April 2014. (link, bibtex)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Practical considerations of DSTM systems development. In the program of WDTM ‘12: Euro-TM Workshop on Distributed Transactional Memory. February 2012. (link, bibtex)

  • Tadeusz Kobus, Paweł T. Wojciechowski. A 90% RESTful Group Communication Service. In Procedings of DCDP ‘10: Workshop on Decentralized Coordination of Distributed Processes, June 2010. An extended abstract appeared in EPTCS volume online. A full version published as Technical Report RA-2/10. (bibtex)

Patents

  • Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński. Fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. USPTO patent no. US 10135929 B2, Nov. 20, 2018. (pdf, bibtex, link)

  • Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński. A fault-tolerant data processing computer system and method for implementing a distributed two-tier state machine. EPO patent no. EP 3193256 B1, July 7, 2017. (pdf, bibtex, link)

Other (including ongoing work)

  • Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski. Creek: Low-latency, Mixed-Consistency Transactional Replication Scheme. ArXiv preprint arXiv:1907.00748. (link)


This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.