Atomic RMI: A distributed transactional memory framework K Siek, PT Wojciechowski International Journal of Parallel Programming 44, 598-619, 2016 | 26 | 2016 |
Brief announcement: Relaxing opacity in pessimistic transactional memory K Siek, PT Wojciechowski DISC, 540-541, 2014 | 14 | 2014 |
Towards a fully-articulated pessimistic distributed transactional memory K Siek, PT Wojciechowski Proceedings of the twenty-fifth annual ACM symposium on Parallelism in …, 2013 | 12 | 2013 |
A formal design of a tool for static analysis of upper bounds on object calls in Java K Siek, PT Wojciechowski Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012 | 11 | 2012 |
Zen and the art of concurrency control: an exploration of TM safety property space with early release in mind K Siek, PT Wojciechowski Proc. WTTM 14, 2014 | 9 | 2014 |
Barcode scanning from mobile-phone camera photos delivered via mms: Case study A Wojciechowski, K Siek Advances in Conceptual Modeling–Challenges and Opportunities: ER 2008 …, 2008 | 9 | 2008 |
Codedj: Reproducible queries over large-scale software repositories P Maj, K Siek, A Kovalenko, J Vitek European Conference on Object Oriented Programming 194, 2021 | 8 | 2021 |
Atomic RMI 2: Highly parallel pessimistic distributed transactional memory K Siek, PT Wojciechowski arXiv preprint arXiv:1606.03928, 2016 | 5 | 2016 |
Atomic RMI 2: distributed transactions for Java PT Wojciechowski, K Siek Proceedings of the 6th International Workshop on Programming Based on Actors …, 2016 | 4 | 2016 |
Proving opacity of transactional memory with early release K Siek, PT Wojciechowski Foundations of Computing and Decision Sciences 40 (4), 317-335, 2015 | 3 | 2015 |
Last-use opacity: A strong safety property for transactional memory with early release support K Siek, PT Wojciechowski arXiv preprint arXiv:1506.06275, 2015 | 3 | 2015 |
Helenos: A realistic benchmark for distributed transactional memory J Baranowski, P Kobyliński, K Siek, PT Wojciechowski arXiv preprint arXiv:1603.07899, 2016 | 2 | 2016 |
Having your cake and eating it too: Combining strong and eventual consistency PT Wojciechowski, K Siek Proceedings of the First Workshop on Principles and Practice of Eventual …, 2014 | 2 | 2014 |
Helenos: a realistic benchmark for distributed transactional memory P Kobyliński, K Siek, J Baranowski, PT Wojciechowski Software: Practice and Experience 48 (3), 528-549, 2018 | 1 | 2018 |
Statically computing upper bounds on object calls for pessimistic concurrency control K Siek, PT Wojciechowski Proc. of the EC 2, 2010 | 1 | 2010 |
4.4 Paper 4-The Fault in Our Stars: How to Design Reproducible Large-scale Code Analysis Experiments P Maj, S Muroya, K Siek, J Vitek Analyzing Large Code Repositories, 128, 2023 | | 2023 |
4.3 Paper 3-CodeDJ: Reproducible Queries over Large-Scale Software Repositories P Maj, K Siek, A Kovalenko, J Vitek Analyzing Large Code Repositories, 103, 2023 | | 2023 |
Last-use opacity: a strong safety property for transactional memory with prerelease support K Siek, PT Wojciechowski Distributed Computing 35 (3), 265-301, 2022 | | 2022 |
Userfault Objects: Transparent Programmable Memory K Siek, C Kerr arXiv preprint arXiv:2106.12995, 2021 | | 2021 |
Distributed Pessimistic Transactional Memory: Algorithms and Properties KM Siek | | 2017 |