Konrad Siek

According to our database, Konrad Siek authored at least 17 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract).

Konrad Siek, Pawel T. Wojciechowski

Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024

The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments.

Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, Jan Vitek

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Last-use opacity: a strong safety property for transactional memory with prerelease support.

Konrad Siek, Pawel T. Wojciechowski

Distributed Comput., 2022

2021

CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact).

Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek

Dagstuhl Artifacts Ser., 2021

Userfault Objects: Transparent Programmable Memory.

Konrad Siek, Colette Kerr

CoRR, 2021

CodeDJ: Reproducible Queries over Large-Scale Software Repositories.

Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2018

Helenos: A realistic benchmark for distributed transactional memory.

Pawel Kobylinski, Konrad Siek, Jan Baranowski, Pawel T. Wojciechowski

Softw. Pract. Exp., 2018

2016

Atomic RMI: A Distributed Transactional Memory Framework.

Konrad Siek, Pawel T. Wojciechowski

Int. J. Parallel Program., 2016

The Optimal Pessimistic Transactional Memory Algorithm.

Pawel T. Wojciechowski, Konrad Siek

CoRR, 2016

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory.

Konrad Siek, Pawel T. Wojciechowski

CoRR, 2016

Atomic RMI 2: distributed transactions for Java.

Pawel T. Wojciechowski, Konrad Siek

Proceedings of the 6th International Workshop on Programming Based on Actors, 2016

2015

Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support.

Konrad Siek, Pawel T. Wojciechowski

CoRR, 2015

2014

Relaxing Opacity in Pessimistic Transactional Memory.

Konrad Siek, Pawel T. Wojciechowski

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Having your cake and eating it too: combining strong and eventual consistency.

Pawel T. Wojciechowski, Konrad Siek

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

2013

Brief announcement: towards a fully-articulated pessimistic distributed transactional memory.

Konrad Siek, Pawel T. Wojciechowski

Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures, 2013

2012

A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.

Konrad Siek, Pawel T. Wojciechowski

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2008

Barcode Scanning from Mobile-Phone Camera Photos Delivered Via MMS: Case Study.

Adam Wojciechowski, Konrad Siek

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008