Releases med Pldi 12 Proceedings Committee