PLDI
2011
ACM
12 years 7 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
PLDI
2011
ACM
12 years 7 months ago
2011
ACM
PLDI
2011
ACM
12 years 7 months 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
12 years 7 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 7 months 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
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 ...