Title: Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis