Fast, Sound and Effectively Complete Dynamic Race Detection #1 Post by wylie » Mon, Jan 28, 2019, 5:43 PM UTC Fast, Sound and Effectively Complete Dynamic Race Detectionarxiv.org