Eran Yahav Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings 6887 2011 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-23702-7 978-3-642-23701-0 SAS db/conf/sas/sas2011.html