Goldilocks: A race-aware Java runtime - Microsoft Research.
This one's been in my backlog to post about for awhile. Not only is it interesting as a concept, I find it also interesting that it's a Java runtime and not based on the CLR. Technical reason or just researcher interest?