A framework for safe, programmable, speculative parallelism based on STM | Heykuki News