25 search results - page 3 / 5 » pldi 2011 |
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
In writing parallel programs, programmers expose parallelism and optimize it to meet a particular performance goal on a single platform under an assumed set of workload characteri...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
PLDI
2011
ACM
12 years 8 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...