139
Voted
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random d...
158
click to vote
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
We present a general theory of serializability, unifying a wide range of transactional algorithms, including some that are yet to come. To this end, we provide a compact semantics...
137
Voted
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
The support for generic programming in modern object-oriented programming languages is awkward and lacks desirable expressive power. We introduce an expressive genericity mechanis...
172
click to vote
PLDI
2015
ACM
10 years 2 months ago
2015
ACM
We consider the problem of automated reasoning about dynamically manipulated data structures. Essential properties are encoded as predicates whose definitions are formalized via ...
