Michal Kapalka

According to our database, Michal Kapalka authored at least 17 papers between 2004 and 2015.

Collaborative distances:

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

2015

Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems.

Michal Kapalka

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2012

On the liveness of transactional memory.

Victor Bushkov, Rachid Guerraoui, Michal Kapalka

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

2010

Principles of Transactional Memory

Rachid Guerraoui, Michal Kapalka

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02002-5, 2010

Theory of Transactional Memory.

Michal Kapalka

PhD thesis, 2010

The Velox Transactional Memory Stack.

Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Rivière, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel

IEEE Micro, 2010

Transactions in the jungle.

Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh

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.

João Pedro Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

2009

The Theory of Transactional Memory.

Rachid Guerraoui, Michal Kapalka

Bull. EATCS, 2009

The semantics of progress in lock-based transactional memory.

Rachid Guerraoui, Michal Kapalka

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Stretching transactional memory.

Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Transactional Memory: Glimmer of a Theory.

Rachid Guerraoui, Michal Kapalka

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

The weakest failure detectors to boost obstruction-freedom.

Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov

Distributed Comput., 2008

On obstruction-free transactions.

Rachid Guerraoui, Michal Kapalka

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.

Rachid Guerraoui, Michal Kapalka

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

2007

STMBench7: a benchmark for software transactional memory.

Rachid Guerraoui, Michal Kapalka, Jan Vitek

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005

Workflow composer and service registry for grid applications.

Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz

Future Gener. Comput. Syst., 2005

2004

Grid Service Registry for Workflow Composition Framework.

Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz

Proceedings of the Computational Science, 2004