John Regehr, Professor of Computer Science, University of Utah, USA
GCC Summit Talk
I’m at the 2010 GCC Summit in Ottawa today. There’s a lot of interesting work going on; I’ll probably write a more detailed post later. In the meantime, the slides from my talk on finding compiler bugs are below.