Automated atomicity-violation fixing
Deterministic Process Groups in dOS