Just returned from George Fairbanks' PhD defense! I thought it went really well, but currently the important people are deciding how George really did. This event is quite exciting, seeing as George will most likely be the first student to graduate from our program (at least of those who started out in our program). But what's even cooler is that his research is really interesting and (gasp) practical. It's a system for insuring that application developers who are using code frameworks (e.g., Eclipse, MFC, .NET) are actually doing so correctly.
It's called Design Fragments, and you can actually download, play with and use the tool circa right now.
Actually, the web site seems to be down at the moment, but I'll email George about it.