I find this group pretty interesting, Workshop on Duplicating, Deconstructing, and Debunking, http://www.ece.wisc.edu/~wddd/ http://www.ece.wisc.edu/~wddd/ In

I find this group pretty interesting, Workshop on Duplicating, Deconstructing, and Debunking, http://www.ece.wisc.edu/~wddd/ http://www.ece.wisc.edu/~wddd/ In particular I find this paper, Is Transaction Programming Actually Easier, illuminating: http://www.ece.wisc.edu/~wddd/2009/papers/wddd_04.pdf http://www.ece.wisc.edu/~wddd/2009/papers/wddd_04.pdf This paper shows that even though students "felt" that STM was harder to understand, their programs tended to be correct! While with fine-grained locking almost all programs exhibited errors! Even though the students thought they knew what they were doing.