CPP 2021 Lightning Talks

Welcome to the Lightning Talks for the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2021 Lightning Talks) submissions site. For general conference information, see https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks.