Replaced sections taken from oopsla 2013 paper with material from previous papers