Short paper to be submitted to MSR 2013