Conflux: Embedding Massively Parallel Semantics in a High-Level Programming Language