Syed Aoun Raza, Stefan Franke, Erhard Ploedereder. Detecting High-Level Synchronization Errors in Parallel Programs. In Alexander Romanovsky, Tullio Vardanega, editors, Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Volume 6652 of Lecture Notes in Computer Science, pages 17-30, Springer, 2011. [doi]
@inproceedings{RazaFP11,
title = {Detecting High-Level Synchronization Errors in Parallel Programs},
author = {Syed Aoun Raza and Stefan Franke and Erhard Ploedereder},
year = {2011},
doi = {10.1007/978-3-642-21338-0_2},
url = {http://dx.doi.org/10.1007/978-3-642-21338-0_2},
tags = {synchronization, parallel programming},
researchr = {https://researchr.org/publication/RazaFP11},
cites = {0},
citedby = {0},
pages = {17-30},
booktitle = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings},
editor = {Alexander Romanovsky and Tullio Vardanega},
volume = {6652},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-21337-3},
}