Dissertation

Konrad Siek (advisor: Paweł T. Wojciechowski).
Distributed Pessimistic Transactional Memory: Algorithms and Properties (doctoral dissertation).
Faculty of Computing Science at Poznań University of Technology.
Submitted June 2016, defended January 2017.
[PDF, TeX, PUT library]


Papers

Paweł Kobyliński, Konrad Siek, Jan Baranowski, Paweł T. Wojciechowski.
Helenos: A Realistic Benchmark for Distributed Transactional Memory.
Journal of Software: Practice and Experience. Volume 48, issue 3.
March 2018.
[Wiley]


Konrad Siek, Paweł T. Wojciechowski.
Proving Opacity of Transactional Memory with Early Release.
Foundations of Computing and Decision Sciences. Volume 40, issue 4. December 2015.
[De Gruyter]


Konrad Siek, Paweł T. Wojciechowski.
Atomic RMI: a Distributed Transactional Memory Framework.
In proceedings of HLPP 2014: the 7th International Symposium on High-level Parallel Programming and Applications. International Journal of Parallel Programming, Volume 44, Issue 3, pp 598-619. April 2015.
[Springer]


Konrad Siek, Paweł T. Wojciechowski.
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.
In Proceedings of FMICS 2012: the 17th International Workshop on Formal Methods for Industrial Critical Systems (co-located with FM 2012).
Lecture Notes in Computer Science Volume 7437, pp 192–206. August 2012.
[Springer, PDF]


Short papers

Paweł T. Wojciechowski, Konrad Siek.
Atomic RMI 2: Distributed Transactions for Java.
In Proceedings of AGERE’16: the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control. October 2016.
[abstract]

Konrad Siek, Paweł T. Wojciechowski.
Brief Announcement: Relaxing Opacity in Pessimistic Transactional Memory.
In Proceedings of DISC’14: the 28th International Symposium on Distributed Computing. October 2014.
[PDF]


Konrad Siek, Paweł T. Wojciechowski.
Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind.
In Proceedings of WTTM’14: the 6th Workshop on the Theory of Transactional Memory. July 2014.
[PDF]


Paweł T. Wojciechowski, Konrad Siek.
Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency.
In Proceedings of PaPEC 2014: the 1st Workshop on the Principles and Practice of Eventual Consistency. April 2014.
[PDF]


Konrad Siek, Paweł T. Wojciechowski.
Towards a Fully-Articulated Pessimistic Distributed Transactional Memory (brief announcement).
In Proceedings of SPAA 2013: the 25th ACM Symposium on Parallelism in Algorithms and Architectures. July 2013.
[PDF]


Paweł T. Wojciechowski, Konrad Siek.
Rollbacks in Pessimistic Distributed TM.
SRDC’13: TRANSFORM Summer School on Research Directions in Distributed Computing. June 2013.
[abstract]


Paweł T. Wojciechowski, Konrad Siek.
Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis (extended abstract).
In Proceedings of WTM 2012: Euro-TM Workshop on Transactional Memory (co-located with ACM SIGOPS EuroSys 2012). April 2012.
[abstract]


Konrad Siek, Paweł T. Wojciechowski.
Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control (extended abstract).
In Proceedings of EC :math:^2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV 2010). July 2010.
[PDF]


Technical reports

Jan Baranowki, Konrad Siek, Paweł T. Wojciechowski.
Analiza Programów Wzorcowych dla Rozproszonej Pamieci Transakcyjnej.
Raport RB-3/15. Instytut Informatyki Politechniki Poznańskiej.
[PDF]


Martin Witczak, Konrad Siek.
Rozproszony System Zarządzania Odtwarzaniem Mediów w Oparciu o Pesymistyczną Pamięć Transakcyjną.
Raport RB-4/15. Instytut Informatyki Politechniki Poznańskiej.
[PDF]