Automatic granularity-aware parallelization of programs with predicates, functions, and constraints

Manuel Hermenegildo
2007 Proceedings of the 2007 workshop on Declarative aspects of multicore architectures - DAMP '07  
Objectives • Parallelism (finally!) becoming mainstream thanks to multicore -even on laptops! • Our objective herein is automatic parallelization of programs with predicates, functions, and constraints. • We concéntrate on detecting and-parallelism (corresponds to, e.g., loop parallelization, task parallelism, divide and conquer, etc.):
doi:10.1145/1248648.1248649 dblp:conf/popl/Hermenegildo07 fatcat:m6a7pakgifarpja5k7rxwpc7mi