Michal Kapalka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2004–2015
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ACIIDS | Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems. | Michal Kapalka |
| 2012 | PODC | On the liveness of transactional memory. | Victor Bushkov, Rachid Guerraoui, Michal Kapalka |
| 2010 | PPoPP | Leveraging parallel nesting in transactional memory. | Joo Pedro Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka |
| 2010 | SPAA | Transactions in the jungle. | Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh |
| 2009 | CAV | Transactional Memory: Glimmer of a Theory. | Rachid Guerraoui, Michal Kapalka |
| 2009 | PLDI | Stretching transactional memory. | Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka |
| 2009 | POPL | The semantics of progress in lock-based transactional memory. | Rachid Guerraoui, Michal Kapalka |
| 2008 | PPoPP | On the correctness of transactional memory. | Rachid Guerraoui, Michal Kapalka |
| 2008 | SPAA | On obstruction-free transactions. | Rachid Guerraoui, Michal Kapalka |
| 2007 | EuroSys | STMBench7: a benchmark for software transactional memory. | Rachid Guerraoui, Michal Kapalka, Jan Vitek |
| 2004 | ICCS | Grid Service Registry for Workflow Composition Framework. | Marian Bubak, Tomasz Gubala, Michal Kapalka, Maciej Malawski, Katarzyna Rycerz |