Proceedings of the 2012 ACM conference on CoNEXT student workshop