Project Details
Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)
Project Period: 10. 2. 2011 – 9. 2. 2015
Project Type: grant
Code: IC1001
Agency: Ministerstvo školství, mládeže a tělovýchovy ČR
Program: COST CZ (2011-2017)
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.
Dudka Vendula, Ing.
Fiedor Jan, Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Romano Paolo (FIT)
Šimková Hana, Mgr. Bc., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
2015
- FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 73-87. ISBN: 978-3-319-14895-3. Detail - FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015.
p. 555-564. ISBN: 978-3-319-27339-6. Detail