Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis - Bodden, Eric (Association for Computing Machinery, 2012)