Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium