Fast, Sound and Effectively Complete Dynamic Race Detection | Dark Hacker News