According to our database1, Michal Kapalka authored at least 17 papers between 2004 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015
On the liveness of transactional memory.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012
Principles of Transactional Memory
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 2010
The Velox Transactional Memory Stack.
IEEE Micro, 2010
Transactions in the jungle.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Leveraging parallel nesting in transactional memory.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010
The Theory of Transactional Memory.
Bulletin of the EATCS, 2009
The semantics of progress in lock-based transactional memory.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Stretching transactional memory.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Transactional Memory: Glimmer of a Theory.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
The weakest failure detectors to boost obstruction-freedom.
Distributed Computing, 2008
On obstruction-free transactions.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008
On the correctness of transactional memory.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008
STMBench7: a benchmark for software transactional memory.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007
The Weakest Failure Detectors to Boost Obstruction-Freedom.
Proceedings of the Distributed Computing, 20th International Symposium, 2006
Workflow composer and service registry for grid applications.
Future Generation Comp. Syst., 2005
Grid Service Registry for Workflow Composition Framework.
Proceedings of the Computational Science, 2004