Proceedings of the 2012 ACM conference on High integrity language technology