Semantic Reduction of Thread Interleavings in Concurrent Programs.

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta

Browse the full TACAS paper archive.