Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering