A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code

International Conferences 2023