Vydania od Pldi 12 Proceedings Committee