Programming systems for safe and accurate parallel programs in the face of uncertainty