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