Research
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 using proof assistants, type theory, and logic to mathematically guarantee the correctness and security of programs and systems. It serves