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