Working towards safe concurrent execution