17 search results - page 4 / 4 » cc 2011 |
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...