
and for the QVM Chameleon PLDI'09 paper

Apart from the emphasis of terms like "true", this is a pretty decent summary of what's going on in the paper --- concurrent algorithms, linearizability, and a lot of dance around atomic blocks, restarts, and the pointers curr and pred.
A recent visit to Israel exposed me to this brilliant piece (in Hebrew). There are a few subsequent performances by Irad that are equally good. You can find them all at http://www.youtube.com/user/shaulm

As you can see by the red markers, almost no day goes by without some sort of a failure. In some days, there are multiple failures. I already started booting to my Ubuntu on most days, but even for my sparse use of windows, I will probably roll back to XP soon.
Mark Wegman gave an interesting talk on the upcoming grand challenges in CS. In his talk, he used a snippet from this Carl Sagan clip. I thought that the message in this clip is worth echoing by posting it here.