Kuda A complete x86 race checker accelerated by Cuda GPU MSc thesis work at Koç University Graduated in 2013