Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta

Browse the full CAV paper archive.