Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings - Schmidt, David; Jhala, Ranjit (Lecture Notes in Computer Science, 2011)