Xiaofan Sun, Rajiv Gupta 0001. DSGEN: concolic testing GPU implementations of concurrent dynamic data structures. In Huiyang Zhou, Jose Moreira, Frank Mueller 0001, Yoav Etsion, editors, ICS '21: 2021 International Conference on Supercomputing, Virtual Event, USA, June 14-17, 2021. pages 75-87, ACM, 2021. [doi]
Abstract is missing.