Safe Concurrent Programming And Execution