Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads.

Klaus E. Schauser, David E. Culler, Seth Copen Goldstein

Browse the full POPL paper archive.