author: Yernar Kumashev
title: GPGPU Verification: Correctness of Odd-Even Transposition sort algorithm
keywords: GPU verification
topics: Case studies and Applications
committee: Mohsen Safari ,
Marieke Huisman
started: November 2019