PLDI 1988