Sciweavers

4 search results - page 1 / 1
» Data races vs. data race bugs: telling the difference with p...
Sort
View
ASPLOS
2012
ACM
12 years 12 days ago
Data races vs. data race bugs: telling the difference with portend
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ï...
Baris Kasikci, Cristian Zamfir, George Candea
IPPS
2009
IEEE
13 years 11 months ago
Using hardware transactional memory for data race detection
Abstract—Widespread emergence of multicore processors will spur development of parallel applications, exposing programmers to degrees of hardware concurrency hitherto unavailable...
Shantanu Gupta, Florin Sultan, Srihari Cadambi, Fr...
OOPSLA
2010
Springer
13 years 3 months ago
Instrumentation and sampling strategies for cooperative concurrency bug isolation
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to ï¬nd crugs such as data races and atomicity violations scale poorly, while dynamic a...
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan L...
KBSE
2008
IEEE
13 years 11 months ago
Predictive Typestate Checking of Multithreaded Java Programs
—Writing correct multithreaded programs is difï¬cult. Existing tools for ï¬nding bugs in multithreaded programs primarily focus on ï¬nding generic concurrency problems such as...
Pallavi Joshi, Koushik Sen