Michal Kapalka

18 papers A* 4A 2B 4Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2015 — conf
Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems.
ACIIDS (2)
Michal Kapalka
2012 A* conf
On the liveness of transactional memory.
PODC
Victor Bushkov, Rachid Guerraoui, Michal Kapalka
2010 B conf
Leveraging parallel nesting in transactional memory.
PPoPP
João Pedro Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka
2010 — book
Principles of Transactional Memory
Rachid Guerraoui, Michal Kapalka
2010 J jnl
The Velox Transactional Memory Stack.
IEEE Micro
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
2010 — —
Theory of Transactional Memory.
Michal Kapalka
2010 B conf
Transactions in the jungle.
SPAA
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh
2009 A* conf
Stretching transactional memory.
PLDI
Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka
2009 J jnl
The Theory of Transactional Memory.
Bull. EATCS
Rachid Guerraoui, Michal Kapalka
2009 A* conf
The semantics of progress in lock-based transactional memory.
POPL
Rachid Guerraoui, Michal Kapalka
2009 A* conf
Transactional Memory: Glimmer of a Theory.
CAV
Rachid Guerraoui, Michal Kapalka
2008 B conf
On obstruction-free transactions.
SPAA
Rachid Guerraoui, Michal Kapalka
2008 B conf
On the correctness of transactional memory.
PPoPP
Rachid Guerraoui, Michal Kapalka
2008 J jnl
The weakest failure detectors to boost obstruction-freedom.
Distributed Comput.
Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov
2007 A conf
STMBench7: a benchmark for software transactional memory.
EuroSys
Rachid Guerraoui, Michal Kapalka, Jan Vitek
2006 A conf
The Weakest Failure Detectors to Boost Obstruction-Freedom.
DISC
Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov
2005 J jnl
Workflow composer and service registry for grid applications.
Future Gener. Comput. Syst.
Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz
2004 Misc conf
Grid Service Registry for Workflow Composition Framework.
International Conference on Computational Science
Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz