Sciweavers

3243 search results - page 1 / 649
» Object Race Detection
Sort
View
POPL
2007
ACM
14 years 4 months ago
Conditional must not aliasing for static race detection
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
Mayur Naik, Alex Aiken
OOPSLA
2001
Springer
13 years 9 months ago
Object Race Detection
Christoph von Praun, Thomas R. Gross
SIGSOFT
2009
ACM
14 years 5 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
13 years 11 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...
EUROPAR
2004
Springer
13 years 10 months ago
Detecting Data Races in Sequential Programs with DIOTA
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere