104
Voted
PLDI
2015
ACM
9 years 11 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...
115
click to vote
PLDI
2015
ACM
9 years 11 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...
PLDI
2015
ACM
9 years 11 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...
136
Voted
PLDI
2015
ACM
9 years 11 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 ...
