A talk on formal verification of DSLs generating GPGPU programs at PPL 2016

A paper titled “Formal Verification of Data Parallel Code Templates for GPGPU”, authored by Asakura, Masuhara, Aotani is accepted at PPL 2016.