J
ohn
W
ickerson
Homepages 🌐
http://www.doc.ic.ac.uk/~jpw48
Entries
2014
Syntax and semantics of a GPU kernel programming language
by
John Wickerson
🌐
Apr 03
2013
Ribbon Proofs
by
John Wickerson
Jan 19