Michał Kapałka
From MaRDI portal
Person:1954261
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The semantics of progress in lock-based transactional memory Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| On the liveness of transactional memory Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
| The weakest failure detectors to boost obstruction-freedom Distributed Computing | 2013-06-20 | Paper |
| Transactional Memory: Glimmer of a Theory Computer Aided Verification | 2009-06-30 | Paper |
| The Weakest Failure Detectors to Boost Obstruction-Freedom Lecture Notes in Computer Science | 2008-09-09 | Paper |
Research outcomes over time
This page was built for person: Michał Kapałka
