Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

Czech title:Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM)
Research leader:Lourenco Joao (UTL)
Team leaders:Romano Paolo (UTL), Vojnar Tomáš
Team members:Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Pluháčková Hana
Agency:COST, European Cooperation in Science and Technology
Keywords:concurrent programs, transactional memories
Parallel programming used to be an area once confined to a few niches, such as scientific and high-performance computing applications. However, with the proliferation of multicore processors, and the emergence of new, inherently parallel and distributed deployment platforms, such as those provided by cloud computing, parallel programming has definitely become a mainstream concern. Transactional memories (TMs) answer the need to find a better programming model for parallel programming, capable of boosting developers' productivity and allowing ordinary programmers to unleash the power of parallel and distributed architectures avoiding the pitfalls of manual, lock based synchronization. It is therefore no surprise that TM has been subject to intense research in the last years. The Euro-TM COST action aims at consolidating European research on this important field, by coordinating the European research groups working on the development of complementary, interdisciplinary aspects of transactional memories, including theoretical foundations, algorithms, hardware and operating system support, language integration and development tools, and applications.


2015FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Heidelberg: Springer Verlag, 2015, pp. 555-564. ISBN 978-3-319-27339-6.
 FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Heidelberg: Springer Verlag, 2015, pp. 73-87. ISBN 978-3-319-14895-3.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]