Gresham College Lectures
The Verifying Compiler: A Grand Challenge for computing research of the 21st