Detecting High-Level Synchronization Errors in Parallel Programs

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]

Authors

Syed Aoun Raza

This author has not been identified. Look up 'Syed Aoun Raza' in Google

Stefan Franke

This author has not been identified. Look up 'Stefan Franke' in Google

Erhard Ploedereder

This author has not been identified. Look up 'Erhard Ploedereder' in Google