cleared PLDI12/Turon12
Merge pull request #39 from arjunguha/master

cleared PLDI12/Turon12