pldi14 sec 4 intro