Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering