Michal Kapalka

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Pedestrian Dynamics

Transactional Memory

Top Venues

Publications

Michal Kapalka
Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems. ACIIDS (2) (2015)
Victor Bushkov, Rachid Guerraoui, Michal Kapalka
On the liveness of transactional memory. PODC (2012)
João Pedro Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka
Leveraging parallel nesting in transactional memory. PPOPP (2010)
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh
Transactions in the jungle. SPAA (2010)
Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Riviere, 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
The Velox Transactional Memory Stack. IEEE Micro 30 (5) (2010)
Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka
Stretching transactional memory. PLDI (2009)
Rachid Guerraoui, Michal Kapalka
The semantics of progress in lock-based transactional memory. POPL (2009)
Rachid Guerraoui, Michal Kapalka
The Theory of Transactional Memory. Bull. EATCS 97 (2009)
Rachid Guerraoui, Michal Kapalka
Transactional Memory: Glimmer of a Theory. CAV (2009)
Rachid Guerraoui, Michal Kapalka
On obstruction-free transactions. SPAA (2008)
Rachid Guerraoui, Michal Kapalka
On the correctness of transactional memory. PPOPP (2008)
Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov
The weakest failure detectors to boost obstruction-freedom. Distributed Comput. 20 (6) (2008)
Rachid Guerraoui, Michal Kapalka, Jan Vitek
STMBench7: a benchmark for software transactional memory. EuroSys (2007)
Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov
The Weakest Failure Detectors to Boost Obstruction-Freedom. DISC (2006)
Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz
Workflow composer and service registry for grid applications. Future Gener. Comput. Syst. 21 (1) (2005)
Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz
Grid Service Registry for Workflow Composition Framework. International Conference on Computational Science (2004)