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

Kazuaki Matsumura Simon Garcia De Gonzalo Antonio J. Peña

Published in: CoRR (2023)

Keyphrases

source code
parallel implementation
program synthesis
high level
symbolic representation
fully functional
website
times faster
data structure
software engineering
open source
error correction
texture synthesis
symbolic description
functional programs
connectionist systems