Proceedings of the 2015 Conference on Certified Programs and Proofs
ACM Digital Library