Steven Arzt

• Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis