Title: PLDI'13
Subjects: Software engineering, Computer software