A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code.

Kazuaki Matsumura, Simon Garcia De Gonzalo, Antonio J. Pea

Browse the full CC paper archive.