Size and Access Inference for Data-Parallel Programs.

Siddhartha Chatterjee, Guy E. Blelloch, Allan L. Fisher

Browse the full PLDI paper archive.