Compiler and runtime techniques for bulk-synchronous programming models on CPU architectures