A Data Structure Centric Method and Execution Model for Partitioning Sequential Programs into Multiple Speculative Threads | IEEE Conference Publication | IEEE Xplore