Konrad Siek
Orcid: 0000-0002-3599-2164
According to our database1,
Konrad Siek
authored at least 16 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Last-Use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support (Abstract).
Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, 2024
2022
Last-use opacity: a strong safety property for transactional memory with prerelease support.
Distributed Comput., 2022
2021
Dagstuhl Artifacts Ser., 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2018
Softw. Pract. Exp., 2018
2016
Int. J. Parallel Program., 2016
CoRR, 2016
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.
CoRR, 2015
2014
Proceedings of the Distributed Computing - 28th International Symposium, 2014
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.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
2008
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008