Author: PLDI 12 Proceedings Committee