Detecting Data Races in Sequential Programs with DIOTA

Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere. Detecting Data Races in Sequential Programs with DIOTA. In Marco Danelutto, Marco Vanneschi, Domenico Laforenza, editors, Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings. Volume 3149 of Lecture Notes in Computer Science, pages 82-89, Springer, 2004. [doi]

Abstract

Abstract is missing.