SOAP '17 proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis : June 18, 2017, Barcelona, Spain / - Ali, Karim. (ACM,)