Dispute PLDI'12 CarteyLM12.

Add a dispute for the PLDI'12 paper "Synthesising graphics card programs from DSLs".