Size and access inference for data-parallel programs (1991)

by Siddhartha Chatterjee, Guy E Blelloch, Allan L Fisher
Venue:In PLDI: Programming Language Design and Implementation. ACM