SIS PUT | dr hab. inż. Paweł Tomasz Wojciechowski

1.

On the correctness of highly available systems in the presence of failures / Maciej Kokociński (WIiT), Tadeusz Kobus (WIiT), Paweł Tomasz Wojciechowski (WIiT) // Journal of Parallel and Distributed Computing - 2023, vol. 180, p. 104707-1-104707-18

Scientific article 100 3,4
2.

Last-use opacity: a strong safety property for transactional memory with prerelease support / Konrad Siek, Paweł T. Wojciechowski (WIiT) // Distributed Computing - 2022, vol. 35, iss. 3, p. 265-301

Scientific article 70 1,3
3.

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

Scientific article 140 5,3
4.

Recovery algorithms for Paxos-based state machine replication / Jan Kończak (WIiT), Paweł T. Wojciechowski (WIiT), Nuno Santos, Tomasz Żurkowski (WIiT), André Schiper // IEEE Transactions on Dependable and Secure Computing - 2021, vol. 18, no. 2, p. 623-640

Scientific article 140 6,791
5.

Helenos: A Realistic Benchmark for Distributed Transactional Memory / Paweł Kobyliński (WI), Konrad Siek (WI), Jan Baranowski, Paweł T. Wojciechowski (WI) // Software - Practice and Experience - 2018, vol. 48, iss. 3, p. 528-549

Scientific article 25 1,931

All ARTICLES

1.

Jiffy: A Lock-free Skip List with Batch Updates and Snapshots (Abstract) / Tadeusz Kobus (WIiT), Maciej Kokociński (WIiT), Paweł Tomasz Wojciechowski (WIiT) // W: HOPC'24 : Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing - New York, USA : Association for Computing Machinery (ACM), 2024 - p. 5-7

Abstract
2.

Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract) / Konrad Siek (WI), Paweł Tomasz Wojciechowski (WIiT) // W: HOPC'24 : Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing - New York, USA : Association for Computing Machinery (ACM), 2024 - p. 33-35

Abstract
3.

A selective and biased choice of techniques for building a distributed data store / Paweł T. Wojciechowski (WIiT) // W: 17th ACM International Conference on Distributed and Event-based Systems (DEBS '23), June 27-30, 2023, Neuchatel, Switzerland - New York, USA : ACM, 2023

Abstract
4.

Jiffy: A Lock-free Skip List with Batch Updates and Snapshots / Tadeusz Kobus (WIiT), Maciej Kokociński (WIiT), Paweł T. Wojciechowski (WIiT) // W: PPoPP '22 : Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - New York, United States : Association for Computing Machinery (ACM), 2022 - p. 400-415

Chapter in monograph / paper 20 140
5.

Failure Recovery from Persistent Memory in Paxos-based State Machine Replication / Jan Kończak (WIiT), Paweł T. Wojciechowski (WIiT) // W: 40th International Symposium on Reliable Distributed Systems (SRDS 2021): IEEE, 2021

Chapter in monograph / paper 20 140

All CHAPTERS

1.

Language design for atomicity, declarative synchronization, and dynamic update in communicating systems / Paweł T. Wojciechowski / Poznań, Polska : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2007 - 204 s.

Scientific monograph / habilitation

All BOOKS

1.

Briding eventual and strong consistency / Maciej Kokociński (WI), Tadeusz Kobus (WI), Paweł T. Wojciechowski (WI) // r515763_2017

Research report
2.

Strongly and eventually consistent transactions for RESTful Web services / Paweł Kobyliński (WI), Sebastian Kochman, Paweł T. Wojciechowski (WI) // r515217_2017

Research report
3.

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transaction Memory / Konrad Siek (WI), Paweł T. Wojciechowski (WI) // r494611_2016

Research report
4.

Atomic RMI 2: Distributed Transactions for Java / Paweł T. Wojciechowski (WI), Konrad Siek (WI) // r494603_2016

Research report
5.

Relaxing Real-time Order in Opacity and Linearizability / Tadeusz Kobus (WI), Maciej Kokociński (WI), Paweł T. Wojciechowski (WI) // r494897_2016

Research report

All REPORTS

1.

Language design for atomicity, declarative synchronization, and dynamic update in communicating systems / Paweł T. Wojciechowski / Poznań, Polska : Wydawnictwo Politechniki Poznańskiej, Rozprawy / Politechnika Poznańska, 2007 - 204 s.

Scientific monograph / habilitation

1.

Recovery algorithms in State Machine Replication with volatile and non-volatile main memory / Jan Kończak (WIiT) / prom. Paweł T. Wojciechowski (WIiT), rev. Alysson Bessani, Fernando Pedone - Poznań, Polska, 2022 - 108 s.

Dissertation
2.

Correctness of Highly-Available Eventually-Consistent Replicated Systems / Maciej Kokociński (WIiT) / prom. Paweł T. Wojciechowski (WIiT), rev. Wojciech Golab, Petr Kuznetsov - Poznań, Polska, 2022 - 128 s.

Dissertation
3.

Transactional Replication: Algorithms and Properties / Tadeusz Paweł Kobus (WI) / prom. Paweł T. Wojciechowski (WI), rev. Tomasz Jurdziński, Fernando Pedone - Poznań, Polska, 2017 - 182 s.

Dissertation
4.

Distributed Pessimistic Transactional Memory: Algorithms and Properties / Konrad Marek Siek (WI) / prom. Paweł T. Wojciechowski (WI), rev. Michel Raynal, Marek Tudruj - Poznań, Polska, 2017 - 281 s.

Dissertation

All DISSERTATIONS

1.

Reliable Broadcast Protocols for Mobile Ad Hoc Networks with Liveness Property / Michał Kalewski (WI) / prom. Jerzy Brzeziński (WI), rev. Adam Grzech, Henryk Krawczyk, Paweł T. Wojciechowski (WI) - Poznań, Polska, 2014 - 141 s.

Dissertation
2.

Algorytmy odtwarzania stanu w systemach z rozproszoną spekulatywną pamięcią współdzielną / Arkadiusz Danilecki / prom. Jerzy Brzeziński, rev. Zbigniew Banaszak, Paweł T. Wojciechowski - Poznań, Polska, 2008 - 255 s.

Dissertation