Jeremy Avigad Adam Chlipala Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016 ACM CPP 2016 978-1-4503-4127-1 http://dl.acm.org/citation.cfm?id=2854065 db/conf/cpp/cpp2016.html