 |
Michal Kapalka (Polish spelling: Michał Kapałka)
PhD from EPFL
MSc from AGH
Contact: firstname at lastname.eu
|
BookRachid Guerraoui and Michał Kapałka. Principles of Transactional Memory.
Morgan&Claypool, 2010.
[Buy at Morgan&Claypool]
[Buy at Amazon]
PublicationsJournal Papers
- Rachid Guerraoui, Michał Kapałka, and Petr
Kouznetsov. The Weakest Failure Detectors to Boost
Obstruction-Freedom. In Distributed
Computing, 20(6), pp. 415–433,
Springer-Verlag, 2008.
[Preprint]
[BibTeX]
[Full text at SpringerLink]
- Marian Bubak, Tomasz Gubała, Michał Kapałka, Maciej
Malawski, and Katarzyna Rycerz. Workflow Composer and
Service Registry for Grid Applications. In
Future Generation Computer Systems,
21 (1), pp. 79–86. Elsevier, 2005.
[Preprint]
[BibTeX]
[Full text at ScienceDirect]
Conference Papers
- Rachid Guerraoui, Thomas A. Henzinger, Michał Kapałka, and
Vasu Singh. Transactions in the Jungle.
In Proceedings of the 22nd ACM Symposium on Parallelism
in Algorithms and Architectures (SPAA), ACM, 2010.
[Preprint]
[BibTeX]
[Full text at ACM Portal]
- Joao Barreto, Aleksandar Dragojević, Paulo Ferreira,
Rachid Guerraoui, and Michał Kapałka. Leveraging Parallel
Nesting in Transactional Memory. In Proceedings
of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel
Programming (PPoPP), ACM, 2010.
[Preprint]
[BibTeX]
[Full text at ACM Portal]
- Aleksandar Dragojević, Rachid Guerraoui, and Michał
Kapałka. Stretching Transactional Memory.
In Proceedings of the ACM SIGPLAN Conference on
Programming Language Design and Implementation
(PLDI), ACM, 2009.
[Preprint]
[BibTeX]
[Full text at ACM Portal]
- Rachid Guerraoui and Michał Kapałka. The Semantics
of Progress in Lock-Based Transactional Memory. In
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages
(POPL), ACM, 2009.
[Preprint]
[BibTeX]
[Presentation]
- Rachid Guerraoui and Michał Kapałka.
On Obstruction-Free Transactions.
In Proceedings of the 20th ACM Symposium on Parallelism
in Algorithms and Architectures (SPAA),
ACM, 2008.
[Preprint]
[BibTeX]
[Presentation]
[Full text at ACM Portal]
- Rachid Guerraoui and Michał Kapałka. On the
Correctness of Transactional Memory. In
Proceedings of the 13th ACM SIGPLAN Symposium on
Principles and Practice of Parallel Programming
(PPoPP), ACM, 2008.
[Preprint]
[BibTeX]
[Presentation]
[Full text at ACM Portal]
- Rachid Guerraoui, Michał Kapałka, and Jan
Vitek. STMBench7: A Benchmark for Software
Transactional Memory. In Proceedings of the
Second European Systems Conference
EuroSys 2007, ACM, 2007.
[Preprint]
[BibTeX]
[Presentation]
[Full text at ACM Portal]
- Rachid Guerraoui, Michał Kapałka, and Petr
Kouznetsov. The Weakest Failure Detectors to Boost
Obstruction-Freedom. In Proceedings of the
20th International Symposium on Distributed Computing
(DISC), pp. 399–412. LNCS 4167,
Springer-Verlag, 2006.
[Preprint]
[BibTeX]
[Presentation]
[Full text at SpringerLink]
- Marian Bubak, Tomasz Gubała, Michał Kapałka, Maciej
Malawski, and Katarzyna Rycerz. Grid Service Registry
for Workflow Composition Framework. In
Proceedings of the International Conference on
Computational Science (ICCS), Part III,
pp. 34–41. LNCS 3038, Springer-Verlag, 2004.
[Preprint]
[BibTeX]
[Full text at SpringerLink]
Workshop Papers
- Rachid Guerraoui, Thomas A. Henzinger, Michał
Kapałka, and Vasu Singh. Generalizing the Correctness of
Transactional Memory. In CAV'09 Workshop on
Exploiting Concurrency Efficiently and Correctly
(EC2), 2009.
[Full text]
[BibTeX]
[Presentation]
- Aleksandar Dragojević, Rachid Guerraoui, and Michał
Kapałka. Dividing Transactional Memories by Zero.
In 3rd ACM SIGPLAN Workshop on Transactional
Computing (TRANSACT).
[Full text]
[BibTeX]
[Presentation]
- Rachid Guerraoui, Maurice Herlihy, Michał Kapałka, and
Bastian Pochon. Robust Contention Management in
Software Transactional Memory.
In OOPSLA'05 Workshop on
Synchronization and Concurrency in Object-Oriented Languages
(SCOOL).
[Full text]
[BibTeX]
Invited Papers
- Rachid Guerraoui, and Michał Kapałka. Transactional
Memory: Glimmer of a Theory. In
Proceedings of the 21st International Conference on
Computer Aided Verification (CAV), LNCS,
Springer-Verlag, 2009. (to appear)
[Preprint]
[BibTeX]
[Full text at SpringerLink]
- Rachid Guerraoui and Michał Kapałka. The Theory of
Transactional Memory. In
Bulletin of the EATCS, 97, February 2009.
[Preprint]
[BibTeX]
[Full
text of the Bulletin]
Technical Reports
- Rachid Guerraoui and Michał Kapałka. How Live Can a
Transactional Memory Be? EPFL Technical Report
LPD-REPORT-2009-001, February 2009 (revised: October 2009).
[Full text]
[BibTeX]
- Rachid Guerraoui and Michał Kapałka. The Semantics
of Progress in Lock-Based Transactional Memory. EPFL
Technical Report LPD-REPORT-2008-015, July 2008 (revised:
October 2008).
[Full text]
[BibTeX]
- Rachid Guerraoui and Michał Kapałka.
On Obstruction-Free Transactions.
EPFL Technical Report LPD-REPORT-2008-012, April 2008.
[Full text]
[BibTeX]
- Rachid Guerraoui and Michał Kapałka. Opacity: A
Correctness Condition for Transactional Memory. EPFL
Technical Report LPD-REPORT-2007-004, August 2007 (first version:
February 2007).
[Full text]
[BibTeX]
- Rachid Guerraoui, Michał Kapałka, and Jan
Vitek. STMBench7: A Benchmark for Software
Transactional Memory. EPFL Technical Report
LPD-REPORT-2006-011, September 2006.
[Full text]
[BibTeX]
- Rachid Guerraoui, Michał Kapałka, and Petr
Kouznetsov. Boosting Obstruction-Freedom with Low
Overhead. EPFL Technical Report LPD-REPORT-2006-009,
July 2006.
[Full text]
[BibTeX]
- Rachid Guerraoui, Michał Kapałka, and Petr
Kouznetsov. The Weakest Failure Detectors to Boost
Obstruction-Freedom. EPFL Technical Report
LPD-REPORT-2006-007, July 2006.
[Full text]
[BibTeX]
|
