Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering