Title: Optimal partitioning of random programs across two processors