He has published more than 70 peer-reviewed papers on programming languages, formal verification, software testing and parallel programming, and leads the GPUVerify project on automatic verification. A Computational Science Agenda for Programming Language Research☆. to call for scientists to publish their source code along with their papers. We argue. In this class, we will be…