Michal Kapalka

Orcid: 0000-0002-7961-5942

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Simulation of Human Behavior in Different Densities as a Part of Crowd Control Systems.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2012
On the liveness of transactional memory.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

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

Theory of Transactional Memory.
PhD thesis, 2010

The Velox Transactional Memory Stack.
IEEE Micro, 2010

Transactions in the jungle.
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.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

2009
The Theory of Transactional Memory.
Bull. EATCS, 2009

The semantics of progress in lock-based transactional memory.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Stretching transactional memory.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Transactional Memory: Glimmer of a Theory.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
The weakest failure detectors to boost obstruction-freedom.
Distributed Comput., 2008

On obstruction-free transactions.
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.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

2007
STMBench7: a benchmark for software transactional memory.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005
Workflow composer and service registry for grid applications.
Future Gener. Comput. Syst., 2005

2004
Grid Service Registry for Workflow Composition Framework.
Proceedings of the Computational Science, 2004


  Loading...