122
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
Type inference engines often give terrible error messages, and the more sophisticated the type system the worse the problem. We show that even with the highly expressive type syst...
111
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We develop a new framework for analyzing recursive methods that perform traversals over trees, called tree dependence analysis. This analysis translates dependence analysis techni...
109
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We describe a system that uses automated planning to synthesize correct and efficient parallel graph programs from high-level algorithmic specifications. Automated planning allo...
107
click to vote
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
We present an approach for compiling a rich subset of APL into dataparallel programs that can be executed on GPUs. The compiler is based on the APLTAIL compiler, which compiles AP...
105
Voted
PLDI
2015
ACM
9 years 11 months ago
2015
ACM
Fusion is a program optimisation technique commonly implemented using special-purpose compiler support. In this paper, we present an alternative approach, implementing fold-based ...