Prof. Ing. Tomáš Vojnar, Ph.D.

Automatic Analysis and Verification of Transactional Memories

Czech title:Automatická analýza a verifikace transakčních pamětí
Reseach leader: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
Code:LD14001
Start:2014-01-01
End:2014-12-31
Keywords:transactional memory, concurrent programs, synchronization errors, program monitoring, program testing, static and dynamic program analysis, noise injection
Annotation:
The goal of the project is to develop - in cooperation with the COST action IC1001 - efficient automated methods for testing and analysis of the newly emerging and highly promising class of programs with transactional memories. The project will concentrate on developing algorithms suitable for detection of errors specific for programs with transactional memories, in particular, errors arising due to interactions of different transactions and due to combining transactional memories and other synchronization means. For gathering data about the behaviour of programs with transactional memories, new monitoring methods with a minimal impact on the original behaviour of the monitored programs will be developed. For detecting errors based on such data, suitable dynamic analyses will be developed. At the same time, possibilities of using statistical analysis and data mining from the data obtained through monitoring will be studied. Efficiency of the considered algorithms will be achieved by developing suitable noise injection techniques that will increase the probability of discovering erroneous behaviours of programs with transactional memories. The project will involve theoretical research as well as a prototype implementation of the proposed techniques and their experimental evaluation on suitable case studies.

Related projects

2011Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš

Publications

2015FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 177-178. ISBN 978-84-606-5438-4.
 FIEDOR 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: 54.91.171.137
Switch to IPv6 connection

DNSSEC [dnssec]