Automatically Inserting Synchronization Statements in Divide-and-Conquer Programs | IEEE Conference Publication | IEEE Xplore