Guest lecture by John Wickerson

Dr. John Wickerson (see Slide 212 and y2012p7q7) will explain and give a live demo of GPUVerify, a new research tool that uses VCs and automatic theorem proving to verify properties of programs in languages like CUDA and OpenCL.