Sergio Maffeis Tamara Rezk Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012 PLAS ACM 2012 978-1-4503-1441-1 http://dl.acm.org/citation.cfm?id=2336717 db/conf/pldi/plas2012.html