http://www.acm.org/sigplan/conferences/author-info/ http://ppopp.lcs.mit.edu/ http://www.acm.org/sigplan/