Hacker News new | ask | show | jobs
Fast, Sound and Effectively Complete Dynamic Race Detection (arxiv.org)
1 points by wylie 2706 days ago