PLDI
2011
ACM
14 years 17 days ago
2011
ACM
PLDI
2011
ACM
14 years 17 days ago
2011
ACM
PLDI
2011
ACM
14 years 17 days ago
2011
ACM
PLDI
2011
ACM
14 years 17 days ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
PLDI
2011
ACM
14 years 17 days 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...
128
click to vote
PLDI
2011
ACM
14 years 17 days ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
PLDI
2011
ACM
14 years 17 days 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
14 years 17 days ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
PLDI
2011
ACM
14 years 17 days ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
PLDI
2011
ACM
14 years 17 days 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...