Separation set partitioning: algorithm to partition nonstrict programs into sequential threads | IEEE Conference Publication | IEEE Xplore