Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis