Benjamin Ferrell, Jun Duan, Kevin W. Hamlen. CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 474-479, IEEE, 2019. [doi]
Abstract is missing.