This is a recent talk by him about scalable programming language analysis. And yes, he's still at google.

http://vimeo.com/16069687