Ranjit Jhala Wouter Swierstra Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011 PLPV ACM 2011 978-1-4503-0487-0 db/conf/plpv/plpv2011.html