Manuel V. Hermenegildo Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. 1 2007 DAMP http://doi.acm.org/10.1145/1248648.1248649 conf/popl/2007damp db/conf/popl/damp2007.html#Hermenegildo07