Sciweavers

3243 search results - page 2 / 649
» Object Race Detection
Sort
View
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...
PLDI
2009
ACM
13 years 11 months ago
LiteRace: effective sampling for lightweight data-race detection
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
Daniel Marino, Madanlal Musuvathi, Satish Narayana...
SIGSOFT
2007
ACM
14 years 5 months ago
RELAY: static race detection on millions of lines of code
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
Jan Wen Voung, Ranjit Jhala, Sorin Lerner
ISCAS
2008
IEEE
129views Hardware» more  ISCAS 2008»
13 years 11 months ago
Steering with an aVLSI motion detection chip
— We demonstrate the capabilies of a 1D motion detection chip in steering a car in a simulated racing game. The
Rico Moeckel, Roger Jaeggi, Shih-Chii Liu
POPL
2012
ACM
12 years 13 days ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...