Research
Doctoral dissertation
- Konrad Siek.
Distributed Pessimistic Transactional Memory: Algorithms and Properties.
Doctoral Dissertation [Draft].
Faculty of Computing Science at Poznań University of Technology.
Advisor: Paweł T. Wojciechowski.
June 2016.
(
pdf
, tex
)
Selected papers
- 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.
July 2014.
International Journal of Parallel Programming, Volume 44, Issue 3, pp 598-619. 2015.
(Springer Link)
- 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, pages 192–206.
August 2012.
(bibtex,
pdf
)
Short papers
- 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.
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.
(bibtex, abstract)
- Konrad Siek, Paweł T. Wojciechowski.
Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control (Extended Abstract).
In Proceedings of EC \(^2\) 2010: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV 2010).
July 2010.
(bibtex,
pdf
)
Presentations
- Konrad Siek, Paweł T. Wojciechowski.
Brief Announcement: Relaxing Opacity in Pessimistic Transactional Memory.
DISC‘14: the 28th International Symposium on Distributed Computing.
October 12-15, 2014. Austin, Texas, USA.
(
pdf
,
ogg,
mp3)
- Konrad Siek, Paweł T. Wojciechowski.
Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind.
WTTM‘14: the 6th Workshop on the Theory of Transactional Memory.
July 14, 2014. Paris, France.
(
pdf
,
ogg,
mp3)
- Konrad Siek, Paweł T. Wojciechowski.
Atomic RMI: a Distributed Transactional Memory Framework.
HLPP 2014: the 7th International Symposium on High-level Parallel Programming and Applications.
July 3-4, 2014. Amsterdam, The Neatherlands.
(
pdf
,
ogg,
mp3)
- Paweł T. Wojciechowski, Konrad Siek.
Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency.
PaPEC 2014: the 1st Workshop on the Principles and Practice of Eventual Consistency.
April 13, 2014. Amsterdam, The Neatherlands.
(
pdf
)
- Konrad Siek, Paweł T. Wojciechowski.
Towards a Fully-Articulated Pessimistic Distributed Transactional Memory:
SPAA 2013: the 25th ACM Symposium on Parallelism in Algorithms and Architectures.
July 23-25, 2013. Montréal, Canada.
(
pdf
)
- Paweł T. Wojciechowski, Konrad Siek.
Rollbacks in Pessimistic Distributed TM.
SRDC 2013: TRANSFORM Summer School on Research Directions in Distributed Computing.
June 10-14, 2013. Heraklion, Greece.
(
pdf
, abstract
)
- Konrad Siek, Paweł T. Wojciechowski.
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.
FMICS 2012: 17th International Workshop on Formal Methods for Industrial Critical Systems.
August 27-28, 2012. Paris, France.
(
pdf
)
- Paweł T. Wojciechowski, Konrad Siek.
Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis.
WTM 2012: Euro-TM Workshop on Transactional Memory.
April 10, 2012. Bern, Switzerland.
(abstract)
- Konrad Siek, Paweł T. Wojciechowski.
Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control.
EC^2 2010: Workshop on Exploiting Concurrency Efficiently and Correctly.
July 20-21, 2010. Edinburgh, UK.
(
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
)
Complete lists and things