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

http://vimeo.com/16069687

My thoughts exactly. Where's Steve? I love reading his stuff and am interested in how he's been changing the world (or not).