Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
Abstract The Proceedings of the 15th ACM SIGPLAN CPP '26 compile cutting-edge research focused on the intersection of formal verification and practical program development. This conference showcases innovations in...