Email Gateway (Aug 19 2022 at 14:12): Email Gateway (Aug 19 2022 at 14:12):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
A new entry is available from http://afp.sf.net
Syntax and semantics of a GPU kernel programming language
by John Wickerson
This document accompanies the article "The Design and Implementation of a Verification Technique for GPU Kernels" by Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson and John Wickerson. It formalises all of the definitions provided in Sections 3 and 4 of the article.
Enjoy!
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Last updated: Nov 21 2024 at 12:39 UTC