Proceedings of ACM conference on Proving assertions about programs