Title: Proceedings of the 2015 Conference on Certified Programs and Proofs